Commit 94b579d9 authored by Andreas Freise's avatar Andreas Freise
Browse files

Merge branch 'master' of gitlab.aei.uni-hannover.de:finesse/pykat

parents ed7b204a 1e674dc9
Pipeline #1719 passed with stage
in 21 seconds