On Wed, May 27, 2015 at 9:28 AM, Karl Hegbloom <[email protected]> wrote:
> I guess I should let you know what system I've compiled it on... Linux > 3.19.0, Ubuntu 15.04. Thanks. I think this is a Linux-only problem (have it in my Linux box too). -- Miguel de Benito.
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
