Le Sun, 11 Aug 2013 18:19:45 +0200, Miguel de Benito Delgado <m.debenit...@gmail.com> a écrit :
> when is OS_WIN32 defined? I think : never. It seems to be some old pieces of code due to an old native TeXmacs version. François -- François Poulain <fpoul...@metrodore.fr> _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
