This repository was archived by the owner on Jan 19, 2024. It is now read-only.
added message for unsupported or wrong dune command#11
Open
etranger05 wants to merge 2 commits intoAntelopeIO:mainfrom
Open
added message for unsupported or wrong dune command#11etranger05 wants to merge 2 commits intoAntelopeIO:mainfrom
etranger05 wants to merge 2 commits intoAntelopeIO:mainfrom
Commits
Commits on Aug 19, 2022
- authored
