Skip to content

Fix Travis CI using Thomas' script - #122

Merged
garyb merged 1 commit into
purescript:masterfrom
JordanMartinez:fixTravisCI
Apr 8, 2020
Merged

garyb merged 1 commit into
purescript:masterfrom
JordanMartinez:fixTravisCI

Commits

Commits on Apr 8, 2020