15 Dec
2011
15 Dec
'11
10:36 p.m.
On Thu, 15 Dec 2011, Jens Müller wrote:
Am 14.12.2011 16:49, schrieb Jeremiah Willcock:
If you send a patch, I am willing to put it in.
Please see attached patch.
Changes:
* header paths updated to LEDA 6.3 * fixed missing > lost in a previous commit
That is now applied to the trunk. Thank you. -- Jeremiah Willcock