... | ... | @@ -21,6 +21,7 @@ |
|
|
|
|
|
- [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))
|
|
|
- [Audience Questions](Audience-Questions)
|
|
|
|
|
|
## For Developers
|
|
|
|
... | ... | |