... | ... | @@ -20,8 +20,6 @@ |
|
|
|
|
|
- [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))
|
|
|
- [Custom Meta Options](Custom-Meta-Options)
|
|
|
|
|
|
|
|
|
## For Developers
|
|
|
|
... | ... | |