diff options
| author | notin | 2008-06-10 18:24:52 +0000 |
|---|---|---|
| committer | notin | 2008-06-10 18:24:52 +0000 |
| commit | 813b9b40ce96c59f9e68b759c876a0ccbfdbf942 (patch) | |
| tree | 4aa53fc2a9592970f39531aedca342aaa7cec1bc /configure | |
| parent | d4e696cb8145701356fb9993a8a97e970e83ff8c (diff) | |
2-3 petites modifs sur la doc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11091 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ ################################## VERSION=trunk -DATE="Oct. 2007" +DATE="Jun. 2008" # a local which command for sh which () { |