From 20d25113048eeca27da26efb6bcc8064fd98a49f Mon Sep 17 00:00:00 2001 From: Geert-Jan Giezeman Date: Mon, 17 Apr 2000 10:56:19 +0000 Subject: [PATCH] *** empty log message *** --- Packages/Scripts/changes.txt | 3 +++ Packages/Scripts/description.txt | 2 +- Packages/Scripts/version | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/Packages/Scripts/changes.txt b/Packages/Scripts/changes.txt index 2cdfc6314e6..f3dbfbdd2ee 100644 --- a/Packages/Scripts/changes.txt +++ b/Packages/Scripts/changes.txt @@ -1,3 +1,6 @@ +// 1.13 (17 Apr 2000) ++ Added a time limit for cgal_test in run_testsuite + //-------------------------------- // 1.12 + Added support for geowin in create_makefile script. diff --git a/Packages/Scripts/description.txt b/Packages/Scripts/description.txt index 2b2d9f17e39..cfe1fed8f81 100644 --- a/Packages/Scripts/description.txt +++ b/Packages/Scripts/description.txt @@ -1 +1 @@ -Some useful scripts for developers. +Some useful scripts for developers and users. diff --git a/Packages/Scripts/version b/Packages/Scripts/version index 751b4b1f588..bc03dae4ed4 100644 --- a/Packages/Scripts/version +++ b/Packages/Scripts/version @@ -1,3 +1,3 @@ -1.12 ( 17 Dec 1999) +1.13 (17 Apr 2000) maintainer: Geert-Jan Giezeman