gitlab.cl.uzh.ch will be shut down end of July, 2020. Please see https://pub.cl.uzh.ch/wiki/doku/services/gitlab for migration suggestions and more information.

Name
Last commit
Last update
scripts Loading commit data...
README.md Loading commit data...
RuleSet_TIGER.tud.txt Loading commit data...
ba-thesis.pdf Loading commit data...