propagate version
Description
Description
Details
Details
- Committed
richart May 10 2022, 16:59 - Pushed
gitlab-richart May 10 2022, 17:00 - Parents
- rAKA330ff7047c7f: Correcting bugs in reading VERSION file
- Branches
- Unknown
- Tags
propagate version
propagate version
Authored by richart on May 10 2022, 16:59.
Tags
None
Subscribers
None