darcs optimize enable-patch-index +RTS -xt -hy

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 9,97 KB