Commit 6842ebf8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update headache URL.

parent f2a1b488
...@@ -71,7 +71,7 @@ MENHIRLIB_FILES := $(shell for m in $(MENHIRLIB_MODULES) ; do \ ...@@ -71,7 +71,7 @@ MENHIRLIB_FILES := $(shell for m in $(MENHIRLIB_MODULES) ; do \
# Propagating an appropriate header into every file. # Propagating an appropriate header into every file.
# This requires a version of headache that supports UTF-8; please use # This requires a version of headache that supports UTF-8; please use
# https://github.com/fpottier/headache # https://github.com/Frama-C/headache
# This used to be done at release time and not in the repository, but # This used to be done at release time and not in the repository, but
# it is preferable to do in it the repository too, for two reasons: 1- # it is preferable to do in it the repository too, for two reasons: 1-
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment