Robert Widhopf-Fenk <[EMAIL PROTECTED]> writes: > Where does "batch" come from? > > Is there a Debian package?
$ which batch /usr/bin/batch $ dpkg -S /usr/bin/batch at: /usr/bin/batch -- Rob Browning rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu GPG starting 2002-11-03 = 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4 _______________________________________________ Gnu-arch-users mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-arch-users GNU arch home page: http://savannah.gnu.org/projects/gnu-arch/
