[Mike Gabriel] > I have tried to revert yesterday's faulty commit, but with 4 files I > have a challenge here: I would just do svn diff -r73891:73892 |patch -p0 -R svn commit -m "Revert commit 73892." and ignore the $Id$ changes. Happy hacking, -- Petter Reinholdtsen