Changes
Page history
Update _sidebar
authored
Nov 18, 2020
by
Armin Bernstetter
Show whitespace changes
Inline
Side-by-side
_sidebar.md
View page @
72c83fe0
...
...
@@ -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
)
...
...
...
...
