Skip to content

Re-bump rescript version; simplify makefile#164

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

Commits

Commits on Apr 27, 2021