diff options
| author |  courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-14 17:11:16 +0000 |
|---|---|---|
| committer | courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-14 17:11:16 +0000 |
| commit | 4205d7880c264e56b0fc93ae7701cce956838197 (patch) | |
| tree | 56639330ff91a00b9a70659f8355a75d281f0818 /tools/coq_makefile.ml4 | |
| 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 'tools/coq_makefile.ml4')
0 files changed, 0 insertions, 0 deletions