fix git repository link after name change
Description
Description
Details
Details
- Committed
borel May 18 2022, 07:11 - Pushed
borel May 18 2022, 07:49 - Parents
- rOACCT0b69346cf2c5: two more files with new name
- Branches
- Unknown
- Tags
fix git repository link after name change
fix git repository link after name change
Authored by borel on May 18 2022, 07:11.
Tags
None
Subscribers
None