When
I change the desktop configuration on my Linux box
Would you please be so kind as to call it a GNU/Linux box?
This system is more GNU than Linux, and if you call it "Linux",
that gives its principal developer none of the credit.(See http://www.gnu.org/gnu/gnu-linux-faq.html for more explanation.) _______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
