ceriel
|
03fde8ecde
some fixes
|
35 years ago |
dick
|
78599e150a
more modifications due to lint
|
36 years ago |
ceriel
|
988f6e496b
Fixed a bug with line-directives, added copyright notice
|
37 years ago |
ceriel
|
f7690cec10
many changes: fixes and efficiency-oriented
|
37 years ago |