ceriel
|
5c83e7dbb5
|
Header --> Id
|
1994-06-24 11:31:16 +00:00 |
|
|
ceriel
|
50e8baa624
|
Removed # in commands, removed call to _cleanup()
|
1992-06-26 12:42:31 +00:00 |
|
|
ceriel
|
d747702ae9
|
Corrected lintlib entry
|
1991-10-29 09:24:48 +00:00 |
|
|
ceriel
|
e8d165a4a6
|
cleanup better
|
1991-10-21 13:26:50 +00:00 |
|
|
ceriel
|
64eacb4c9f
|
Do not install lintlib by default: maybe lint is not installed yet
|
1991-10-09 19:12:52 +00:00 |
|
|
ceriel
|
e5052d73e4
|
fix: make directory lib.bin/ego
|
1991-09-13 10:07:37 +00:00 |
|
|
ceriel
|
d9f98bc411
|
New installation mechanism
|
1991-08-27 10:18:09 +00:00 |
|