Is anyone using serverboot anymore? If not, then it could maybe be removed.
Also, is there a reason to keep bsdfsck, defpager and libtreefs around? About libtreefs I'm a bit unsure, since it might be useful. But I doubt this since it hasn't been touched since 1996 (there is not even a ChangeLog). And while I'm at it, maybe we could clean up release too. I doubt that any of those scripts are really useful anymore. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
