Against trunk please. It is ok if you just send me a replacement file. I will diff and study it.
On Sep 23, 8:52 am, Niphlod <niph...@gmail.com> wrote: > Never done a patch before, but I think in the night (here are 3PM) I > can manage to have a first draft. > > I'd have to test it out, but for the beginning .. What wuold be the > patch against ? tools.py in trunk or tools.py in 1.85.3? > > On 23 Set, 14:52, mdipierro <mdipie...@cs.depaul.edu> wrote: > > > You are right. That would be best. Want to send me a patch? > > > On Sep 23, 2:26 am, Niphlod <niph...@gmail.com> wrote: > >
