changed name of new HEJ-config flag to optional-dependencies
Description
Description
Details
Details
- Provenance
amaier Authored on Jul 26 2022, 8:20 AM amaier Pushed on Mar 22 2023, 7:11 AM - Parents
- rHEJ052cc6a91d88: don't print any trailing whitespace in HEJ-config
- Branches
- Unknown
- Tags