On Thu, Feb 14, 2013 at 1:15 PM, Darcy Shen <[email protected]> wrote:
> Is Gnome project a typo? > Gnome -> GNU ? > It looks like it is. I think you can safely change it. -- Miguel de Benito.
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
