margin problem fixed
Description
Description
Details
Details
- Committed
borel Jan 6 2023, 11:14 - Pushed
borel Jan 6 2023, 11:14 - Parents
- rOACCT8ee2b9ec1f5f: works, style looks reasonable, needs checking
- Branches
- Unknown
- Tags
margin problem fixed
margin problem fixed
Authored by borel on Jan 6 2023, 11:14.
Tags
None
Subscribers
None