summaryrefslogtreecommitdiffstats
path: root/TRANSLATION
blob: 1d04f0615893ae111ef037a695dc1d7985825a35 (plain) (blame) 
1
2

Javier Castillo <castillf@informatik.uni-freiburg.de>
Johann Latocha <johann@latocha.de>
generated by cgit v1.2.3-55-g7522 (git 2.39.0) at 2024-11-19 08:14:16 +0100