[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