Le Sun, 11 Aug 2013 18:19:45 +0200, Miguel de Benito Delgado <[email protected]> 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 <[email protected]> _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
