ceriel
|
f26dd7bb01
|
Header --> Id
|
1994-06-24 14:02:31 +00:00 |
|
ceriel
|
4e1fd547da
|
Allow for machine-dependent options
|
1992-03-27 17:38:54 +00:00 |
|
ceriel
|
52ceb5a624
|
delinted somewhat
|
1989-02-02 16:31:51 +00:00 |
|
ceriel
|
8e9dce7bec
|
removed some lint complaints
|
1988-06-28 14:41:02 +00:00 |
|
ceriel
|
bd3856542b
|
fixed to also read from standard input
|
1987-11-25 16:55:51 +00:00 |
|
ceriel
|
32301e016b
|
Added copyright notice
|
1987-03-10 01:26:51 +00:00 |
|
sater
|
5ea0c06402
|
added support for modhead
|
1986-11-28 13:47:44 +00:00 |
|
sater
|
8246648f18
|
*** empty log message ***
|
1985-01-08 15:34:54 +00:00 |
|