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

Reply via email to