[code] [scinterm] [patch] Various build fixes and enhancements

From: Robin Haberkorn <robin.haberkorn.att.googlemail.com>
Date: Wed, 6 Apr 2016 18:53:58 +0200


here are some Scinterm patches I had around for some months already.
As always, they are currently part of SciTECO's Scinterm mirror/fork
and are thus in the git-format-patch format. They are based on the
latest Scinterm tip and should apply just fine -- I just resynced my
Please consider to merge them upstream.

Also available here:

Best regards,
Received on Wed 06 Apr 2016 - 12:53:58 EDT

This archive was generated by hypermail 2.2.0 : Thu 07 Apr 2016 - 06:48:29 EDT