Changes
Page history
Update _sidebar
authored
Dec 02, 2020
by
Armin Bernstetter
Show whitespace changes
Inline
Side-by-side
_sidebar.md
View page @
ca8b8118
...
@@ -21,6 +21,7 @@
...
@@ -21,6 +21,7 @@
-
[
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
)
)
-
[
Audience Questions
](
Audience-Questions
)
## For Developers
## For Developers
...
...
...
...
