clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd60dbb325535: update documentation: prefer control-symbol-cartouche form of "cite"…
- Branches
- Unknown
- Tags