diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-14 22:16:26 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-14 22:16:26 +0000 |
commit | bc892142df9facc8347a513ba15e74c8b7a36289 (patch) | |
tree | ba861340b0cf334055f9933f957574dcbc60621e /lib/envars.mli | |
parent | f68aec200a61b112845de2febb996478909b3cff (diff) |
coq_makefile fixup
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15438 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/envars.mli')
-rw-r--r-- | lib/envars.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index e99fd8e03..fbcbfe72a 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -26,6 +26,5 @@ val xdg_dirs : warn:(string -> unit) -> string list val coqpath : string list val camlbin : unit -> string -val camlp4bin : unit -> string val camllib : unit -> string val camlp4lib : unit -> string |