I believe that patch should go in shell.py too.
On Nov 15, 12:32 am, mdipierro <mdipie...@cs.depaul.edu> wrote: > fixed in trunk > > On Nov 14, 8:13 pm, DenesL <denes1...@yahoo.ca> wrote: > > > ^bump^ > >
I believe that patch should go in shell.py too.
On Nov 15, 12:32 am, mdipierro <mdipie...@cs.depaul.edu> wrote: > fixed in trunk > > On Nov 14, 8:13 pm, DenesL <denes1...@yahoo.ca> wrote: > > > ^bump^ > >