diff options
author | 2011-04-18 12:34:11 +0000 | |
---|---|---|
committer | 2011-04-18 12:34:11 +0000 | |
commit | 70e5fc27679ea515921feea4b5b759303aec1981 (patch) | |
tree | 459654a462041a1ec85c9b657d7e2d27f1a26af9 /kernel/byterun | |
parent | 092cb84f074112ab9b33f936d5a79d58102c9eec (diff) |
Fix generated script for NMake, a rewrite necessitates full conversion for
checking types.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14023 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/byterun')
0 files changed, 0 insertions, 0 deletions