diff options
Diffstat (limited to 'rc/bin/D003753')
| -rwxr-xr-x | rc/bin/D003753 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/rc/bin/D003753 b/rc/bin/D003753 deleted file mode 100755 index 7ce5aa389..000000000 --- a/rc/bin/D003753 +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/rc -rfork e -flop=/dev/fd0disk -if(! test -r $flop) - flop='#f'/fd0disk -if(! test -f /srv/dos) - dossrv >/dev/null </dev/null >[2]/dev/null -unmount /n/a:>[2]/dev/null -mount -c /srv/dos /n/a: $flop -unmount /n/a >[2]/dev/null -mount -c /srv/dos /n/a $flop |