Re: [PATCH-updated] Bug 2840: Save all modified files

2007-07-31 Thread Jürgen Spitzmüller
Richard Heck wrote: > Here's this patch updated to the current trunk. Jurgen? Same as for bug 2840: If it's well tested, this can go in branch and trunk. But please wait with branch until the compression issue is sorted out. Jürgen

[PATCH-updated] Bug 2840: Save all modified files

2007-07-31 Thread Richard Heck
Here's this patch updated to the current trunk. Jurgen? Richard -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ == Get m