Merge new-workdir
commit18e5d0c3c428d84fd8020dbb7122d5c437dc849f
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 21 Jul 2008 17:53:24 +0000 (21 18:53 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sun, 7 Feb 2010 19:17:11 +0000 (7 20:17 +0100)
treebf9036d4a895970a18dd2c3b939ed1129dacf8f7
parentbd445fd95290c7a95c0994b408143669b1044261
parentecd4e40cfd784a93887c9c6aa133226c37bcc7da
Merge new-workdir