diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-10 18:34:54 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-10 18:34:54 +0000 |
commit | 8de2295f3becd3aa7116c0710122efd63144b0ce (patch) | |
tree | 30ceb2eb3003a3fd245ead901850f53e2a0f6ec6 /config | |
parent | 93b26a7d7cb5f7c86f99589ac740b486c5d51c71 (diff) |
no more errors at _stubs.c.d generation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14179 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions