From: Matthew Flatt (mflatt at cs.utah.edu) Date: Sun Jul 22 11:59:52 EDT 2007 |
|
At Sun, 22 Jul 2007 16:56:22 +0200, "Marijn Schouten (hkBst)" wrote: > pltscheme doesn't always respect destdir. The following patch fixes a few > occurences of this. Thanks! Emil Mikulic had sent the same patch (PR 8801), and I had forgotten to apply it. It's now applied in SVN. Matthew
Posted on the users mailing list. |
|