ceriel
|
f26dd7bb01
Header --> Id
|
30 years ago |
ceriel
|
4e1fd547da
Allow for machine-dependent options
|
32 years ago |
ceriel
|
52ceb5a624
delinted somewhat
|
35 years ago |
ceriel
|
8e9dce7bec
removed some lint complaints
|
36 years ago |
ceriel
|
bd3856542b
fixed to also read from standard input
|
37 years ago |
ceriel
|
32301e016b
Added copyright notice
|
37 years ago |
sater
|
5ea0c06402
added support for modhead
|
38 years ago |
sater
|
8246648f18
*** empty log message ***
|
40 years ago |