From cd1a97985d5bc6c00fc75fc2a690b64d2b7d88de Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Wed, 9 Apr 2003 12:17:18 +0000 Subject: [PATCH] Bump for 1.3 ( 9 Apr 2003) --- Packages/Interval_skip_list/version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Packages/Interval_skip_list/version b/Packages/Interval_skip_list/version index d309dca8283..64ebc5a47fb 100644 --- a/Packages/Interval_skip_list/version +++ b/Packages/Interval_skip_list/version @@ -1 +1 @@ -1.2 ( 7 Apr 2003) +1.3 ( 9 Apr 2003)