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