lib/Tools/usedir
changeset 8747 22580c8bc62f
parent 8568 b18540435f26
child 8810 d0eae42f6d12
     1.1 --- a/lib/Tools/usedir	Wed Apr 19 12:54:56 2000 +0200
     1.2 +++ b/lib/Tools/usedir	Wed Apr 19 12:56:24 2000 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  DUMP=""
     1.5  RPATH=""
     1.6  BUILD=""
     1.7 -COMPRESS=""
     1.8 +COMPRESS=true
     1.9  DOCUMENT=false
    1.10  INFO=false
    1.11  RESET=false