diff options
author | 2008-04-23 07:35:14 +0000 | |
---|---|---|
committer | 2008-04-23 07:35:14 +0000 | |
commit | cf6388889773447a8e2727c30c982ea3399db29b (patch) | |
tree | 1dd920455a7551996937c112454da01fc36b3ae2 /Makefile.stage3 | |
parent | 3d7f4d351d93deb468e2ca30e68d134a46caf5a7 (diff) |
Backtrack on change of flags for elim, otherwise rewrite goes under
local variables...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10835 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.stage3')
0 files changed, 0 insertions, 0 deletions