diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-22 16:36:26 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-22 16:36:26 +0000 |
| commit | 3d931ab58b2bdd977c3e6c811619f68d8bc66c1f (patch) | |
| tree | 1f6400b0cb697529d7ab87ee1b60a8d52a284cfa /configure | |
| parent | aaedd6050f1fb78c1354e4a3a1431c9de3727127 (diff) | |
Credits for 8.4 + resetting COMPATIBILITY file.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14846 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions