diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-10-21 13:54:40 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-10-21 13:54:40 +0200 |
| commit | ac81f1a0d9ddcadc7cf5990919a03652e4bc04ee (patch) | |
| tree | 56ff629b3805b25b154eb2342dfb18d475eec611 /bin/versuchung | |
| parent | 993a3bae7f5c560d8c9c601c9a6b423e9f507785 (diff) | |
loader: Support new "files" format in MIMOSA files
Diffstat (limited to 'bin/versuchung')
0 files changed, 0 insertions, 0 deletions