Hi, Thomas Schwinge, le Tue 09 Jan 2007 00:21:07 +0100, a écrit : > Others's opinions were also to remove all (?) generated files from the > revision control system.
Yes, doc/ too is a pain to clean before diffing. Samuel _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd