and when the time comes,
I don't think the time will ever come.I agree completely; we should not suppose that we will ever eliminate `/usr'. _______________________________________________ gnu-system-discuss mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-system-discuss
