Skip to content
This repository was archived by the owner on Nov 13, 2021. It is now read-only.

Commit 3c82168

Browse files
author
notin
committed
Numéro de version pour la 8.2beta2
git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2beta2@11152 85f007b7-540e-0410-9357-904b9bb8a0f7
1 parent 8e00c16 commit 3c82168

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎configure

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
#
77
##################################
88

9-
VERSION=8.2
9+
VERSION=8.2beta2
1010
DATE="Jun. 2008"
1111

1212
# a local which command for sh

0 commit comments

Comments
 (0)