[docs] Minor style update
Description
Description
Details
Details
- Committed
tdegeus Jul 16 2022, 19:14 - Parents
- rGOOSEFEM95e5c6606a1e: 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