diff --git a/Packages/Interval_skip_list/version b/Packages/Interval_skip_list/version index 074171d902d..064b0b5b111 100644 --- a/Packages/Interval_skip_list/version +++ b/Packages/Interval_skip_list/version @@ -1 +1 @@ -1.9 (21 Oct 2003) +1.10 (23 Oct 2003)