From eca7bd85192b3f07ad5ce8ae217ebf2cc3cb2d9d Mon Sep 17 00:00:00 2001 From: Michael Hoffmann Date: Mon, 13 Nov 2000 11:12:11 +0000 Subject: [PATCH] *** empty log message *** --- Packages/Installation/changes.txt | 1 + Packages/Installation/long_description.txt | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/Packages/Installation/changes.txt b/Packages/Installation/changes.txt index ec8d810b37e..7df6e0a0ff2 100644 --- a/Packages/Installation/changes.txt +++ b/Packages/Installation/changes.txt @@ -7,6 +7,7 @@ // actual revision //--------------------------------------------------------------------- +GLOB: OOPS, fixed _LEDA config/install stuff. GLOB: Recognize existing _LEDA config/install files. GLOB: The _LEDA suffix is now part of the config/install file as well. GLOB: Run the compiler tests when it becomes necessary only. diff --git a/Packages/Installation/long_description.txt b/Packages/Installation/long_description.txt index 6c276f88b69..bcfca84d26c 100644 --- a/Packages/Installation/long_description.txt +++ b/Packages/Installation/long_description.txt @@ -3,6 +3,12 @@ //===================================================================== +//--------------------------------------------------------------------- +// revision 1.112 +//--------------------------------------------------------------------- + +GLOB: OOPS, fixed _LEDA config/install stuff. + //--------------------------------------------------------------------- // revision 1.111 //---------------------------------------------------------------------