Merge branch 'work/revert-gitk' into devel
commit3c940ccfb75b94737731ea773457a01949ffc729
authorSteffen Prohaska <prohaska@zib.de>
Sun, 31 May 2009 15:36:12 +0000 (31 17:36 +0200)
committerSteffen Prohaska <prohaska@zib.de>
Sun, 31 May 2009 15:36:12 +0000 (31 17:36 +0200)
treec863b9ee5e21c61cbbe6e153fb468a72cf502351
parentef407fda650d652d554e385ec4604c88d39949d4
parentb2bab8d91b346abf4a4603d443df2dce7b62301f
Merge branch 'work/revert-gitk' into devel