Skip to content

Re-bump rescript version; simplify makefile#164

Merged
chenglou merged 1 commit intomasterfrom
rm-with-deps
Apr 27, 2021
Merged

Re-bump rescript version; simplify makefile#164
chenglou merged 1 commit intomasterfrom
rm-with-deps

Commits

Commits on Apr 27, 2021