diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2021-02-24 13:20:23 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-02-24 13:20:23 +0100 |
| commit | e309e16a403db090c51534cf2fecb7ba6bd02921 (patch) | |
| tree | 7c29c2694427e4dda2653d13e48ef639f48f74bf /bin/versuchung | |
| parent | 7f2c042b5b5b460b93bd7dfbb783a8d807e218d0 (diff) | |
do not hard-code substate names
Diffstat (limited to 'bin/versuchung')
0 files changed, 0 insertions, 0 deletions