diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-15 17:52:01 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-15 17:52:01 +0000 |
commit | 55e6ed2761dbbb3e2e550ed6fb728193f39e836a (patch) | |
tree | f166be439ff1c78353f5bd70a40346712055d2aa /ide/coq_lex.mll | |
parent | f5c65bb6ff3d20dbec5b672b996b42a9e3a36697 (diff) |
Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BIN
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15441 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coq_lex.mll')
0 files changed, 0 insertions, 0 deletions