Merge branch '80-print-dependencies-in-hej-config' into 'master'
Resolve "Print dependencies in HEJ-config"
Closes #80
See merge request hej/HEJ!215
Description
Description
Details
Details
- Provenance
amaier Authored on Jul 26 2022, 11:35 AM amaier Pushed on Mar 22 2023, 7:11 AM - Parents
- rHEJ67ca6e196514: changed name of new HEJ-config flag to `optional-dependencies`
rHEJb139f98579da: Merge branch 'move_new_options_in_changes' into 'master' - Branches
- Unknown
- Tags
Merged Changes
Merged Changes