From 86f9c150e935222f15e6492e5da681d42e286ce2 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 12 Jul 2001 15:46:39 +0000
Subject: [PATCH] Bump for 2.31 (12 Jul 2001)

---
 Old_Packages/Doc23/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Old_Packages/Doc23/version b/Old_Packages/Doc23/version
index 2d610ea6b88..18a2d93c001 100644
--- a/Old_Packages/Doc23/version
+++ b/Old_Packages/Doc23/version
@@ -1 +1 @@
-2.30 (12 Jul 2001)
+2.31 (12 Jul 2001)