| ... | ... | @@ -19,7 +19,7 @@ |
|
|
|
## Other
|
|
|
|
|
|
|
|
- [Decker Command Line Options](Decker-Command-Line-Options)
|
|
|
|
- [List of all Meta Options](https://gitlab2.informatik.uni-wuerzburg.de/decker/decker/-/wikis/WIP:-List-of-all-meta-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)
|
|
|
|
|
|
|
|
|
| ... | ... | |
