diff options
| author | letouzey | 2010-02-12 18:20:18 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-12 18:20:18 +0000 |
| commit | b66f8bf69668b503eba9b815a588b722f8aeadc5 (patch) | |
| tree | 4a4495ced9e3f5d257e4300c862f9dfee99968fb /test-suite/output/NumbersSyntax.out | |
| parent | 6ba69eb95dfbf199d4929d6ee3054e26102b1f95 (diff) | |
Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12759 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/output/NumbersSyntax.out')
0 files changed, 0 insertions, 0 deletions