summaryrefslogtreecommitdiffstats
path: root/TRANSLATION
blob: 1d04f0615893ae111ef037a695dc1d7985825a35 (plain) (blame)
1
2
Javier Castillo <castillf@informatik.uni-freiburg.de>
Johann Latocha <johann@latocha.de>