This repository has been archived by the owner on Apr 24, 2024. It is now read-only.
update of readme to point to the right place#3
Merged
dpeGit merged 4 commits intoGenLite-Org:mainfrom dpeGit:mainApr 16, 2023
+5-5
Commits
Commits on Apr 16, 2023
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}