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