tree d0c0e91b3534e15ca41bc4db1c2f479e435f7b65
parent fde638343c1931fc1aa8d0c006cc85b04534b510
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1307041306 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1307041306 +0000

yep, that's our contribution to Indigo RC3