[gsharp-devel] saving ties
Christophe Rhodes
csr21 at cam.ac.uk
Tue Feb 28 17:01:12 UTC 2006
Hi,
Attached is a patch which allows ties to be saved. It optimizes for
the common case of no ties.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: save-ties.diff
URL: <https://mailman.common-lisp.net/pipermail/gsharp-devel/attachments/20060228/b9a4feda/attachment.ksh>
-------------- next part --------------
Cheers,
Christophe
More information about the gsharp-devel
mailing list