diff options
author | 2004-06-04 23:16:58 +0000 | |
---|---|---|
committer | 2004-06-04 23:16:58 +0000 | |
commit | 9a7d31360c6d8a569d7395a72d245e4a449307b6 (patch) | |
tree | 273ddfd51a91d1bafe61eb2ebbd8abe9507e4d20 /make.result | |
parent | adb4508ba93e74acf474b195b7be04eafb0f795a (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5804 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
-rw-r--r-- | make.result | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make.result b/make.result index a0a5e75df..a61717140 100644 --- a/make.result +++ b/make.result @@ -1 +1 @@ -Fri 04/06/2004 01:00: Success +Sat 05/06/2004 01:00: Success |