This repository has been archived by the owner on Jun 20, 2024. It is now read-only.
Removes usage of make#119
Merged
ckartik merged 3 commits intomainfrom ckartik/remove-make-commandDec 12, 2023
+43-8
Commits
Commits on Dec 12, 2023
- committed
- committed
- committed
