... | ... | @@ -10,6 +10,7 @@ |
|
|
|
|
|
## Other
|
|
|
|
|
|
- [Decker Command Line Options](Decker-Command-Line-Options)
|
|
|
- [Including Code snippets](Including-Code-snippets)
|
|
|
- [Quiz Syntax](Quiz-Syntax)
|
|
|
- [List of all Meta Options](https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/-/wikis/WIP:-List-of-all-meta-options)
|
... | ... | |