diff options
| author | notin | 2007-08-20 17:41:02 +0000 |
|---|---|---|
| committer | notin | 2007-08-20 17:41:02 +0000 |
| commit | e1b02cbf1c18e5ebc5087a8e1f40c9d8534f69a0 (patch) | |
| tree | a60d660d3dcfbdb2ae31df9da3af18e5435cbc3e /dev | |
| parent | 6a40221d531bbff9d87ab353a68ccc49b672d3f4 (diff) | |
Modification de l'initialisation des chemins de la librairie standard
pour imposer un ordre précis des répertoires (résout en partie le
problème entre Init.Wf et Program.Wf.)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10081 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions