[docs] Minor style update
Description
Description
Details
Details
- Committed
tdegeus Jul 15 2022, 20:26 - Parents
- rGOOSEFEM273d32e58541: Converting to properties where possible
- Branches
- Unknown
- Tags
[docs] Minor style update
[docs] Minor style update
Authored by tdegeus on Jul 15 2022, 20:26.
Tags
None
Subscribers
None