Skip to content

Use rescript to build when available#173

Merged
chenglou merged 1 commit intomasterfrom
rescript-build
Apr 27, 2021
Merged

Use `rescript` to build when available#173
chenglou merged 1 commit intomasterfrom
rescript-build

Commits

Commits on Apr 27, 2021