Bug fixes. Better command line options.
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 19 May 1995 13:25:58 +0000 (13:25 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 19 May 1995 13:25:58 +0000 (13:25 +0000)
commitaa975e8f85af258357639e3407ce40090f4a4998
treed4ad3976611ddbc0e34743312d96796cb64b8bd2
parent9947d10a48f64d03d1d022c1c6291eb6e9f67bcf
Bug fixes. Better command line options.
kernel/Makefile
kernel/default.res
kernel/eti.c
kernel/main.c
kernel/monitor.c
kernel/persist.c
kernel/urp.c