diff options
author | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-07 19:28:25 +0000 |
---|---|---|
committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-07 19:28:25 +0000 |
commit | d331f7f1ac0ec2ed12d458597d558a1988db1ba6 (patch) | |
tree | 0e5addad213aeb1d647a0411285754e8a9cb23f6 /distrib/configure.distrib | |
parent | 11104cdcb1e53cd83768d2ce9858829b457e2d65 (diff) |
deuxieme vague de modifs: evar_defs fonctionnel
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6071 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/configure.distrib')
0 files changed, 0 insertions, 0 deletions