diff options
author | 2008-03-14 17:11:16 +0000 | |
---|---|---|
committer | 2008-03-14 17:11:16 +0000 | |
commit | 4205d7880c264e56b0fc93ae7701cce956838197 (patch) | |
tree | 56639330ff91a00b9a70659f8355a75d281f0818 /Makefile.stage2 | |
parent | ccdb8d157559b02315f88a8ef29957acbedbced5 (diff) |
Backtrack wrong commit.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10667 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.stage2')
0 files changed, 0 insertions, 0 deletions