/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 1997-10-06 19:39 +0200 350 browser
-rwxr-xr-x 1997-10-06 19:39 +0200 689 doc
-rwxr-xr-x 1997-10-06 19:39 +0200 1567 expandshort
-rwxr-xr-x 1997-10-06 19:39 +0200 515 findlogics
-rwxr-xr-x 1997-10-06 19:39 +0200 884 getenv
-rwxr-xr-x 1997-10-06 19:39 +0200 655 installfonts
-rwxr-xr-x 1997-10-06 19:39 +0200 362 make
-rwxr-xr-x 1997-10-06 19:39 +0200 4182 makeall
-rwxr-xr-x 1997-10-06 19:39 +0200 302 symbolinput
-rwxr-xr-x 1997-10-06 19:39 +0200 2333 usedir