Changes
Page history
Update _sidebar
authored
Nov 30, 2020
by
Armin Bernstetter
Show whitespace changes
Inline
Side-by-side
_sidebar.md
View page @
d21dbdc1
...
@@ -20,8 +20,6 @@
...
@@ -20,8 +20,6 @@
-
[
Decker Command Line Options
](
Decker-Command-Line-Options
)
-
[
Decker Command Line Options
](
Decker-Command-Line-Options
)
-
[
Configuration Options (YAML Meta Data)
](
https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/-/wikis/Configuration-Options-(YAML-Meta-Data
)
)
-
[
Configuration Options (YAML Meta Data)
](
https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/-/wikis/Configuration-Options-(YAML-Meta-Data
)
)
-
[
Custom Meta Options
](
Custom-Meta-Options
)
## For Developers
## For Developers
...
...
...
...
