diff options
| author | notin | 2008-07-18 09:44:50 +0000 |
|---|---|---|
| committer | notin | 2008-07-18 09:44:50 +0000 |
| commit | c24154216b7ef81e85ca2dead4429c3595aa9e93 (patch) | |
| tree | 9e4f709697a8aa1b83af6c7c6420dcb637b79523 /scripts | |
| parent | 998e523743e059783cf587b8ecb12cc909566b02 (diff) | |
Affichage intempestif d'information de globalisation + numéro de version dans coq_makefile
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11234 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions