Remove a comment.

This commit is contained in:
François Pottier 2019-09-24 11:06:01 +02:00
parent f48bd182c9
commit df2d52120f
1 changed files with 0 additions and 3 deletions

View File

@ -52,9 +52,6 @@ pin:
unpin:
opam pin remove $(THIS)
# This requires a version of headache that supports UTF-8; please use
# https://github.com/fpottier/headache
HEADACHE := headache
LIBHEAD := $(shell pwd)/headers/library-header
FIND := $(shell if command -v gfind >/dev/null ; then echo gfind ; else echo find ; fi)