| author | Tibor Frank <[email protected]> | |
| Mon, 13 May 2019 14:38:23 +0000 (16:38 +0200) | ||
| committer | Tibor Frank <[email protected]> | |
| Mon, 13 May 2019 14:40:55 +0000 (14:40 +0000) |
| resources/tools/presentation/generator_tables.py | patch | blob | history | |
| resources/tools/presentation/specification.yaml | patch | blob | history |