Repository navigation

Use perl instead of sed - #196

Merged

milesfrain merged 1 commit into

purescript-contrib:masterfrom

Ding-Fan:master

Jul 19, 2020

Merged

Use perl instead of sed#196
milesfrain merged 1 commit into
purescript-contrib:masterfrom
Ding-Fan:master

Commits on Jul 19, 2020
- Use perl instead of sed
  Ding-Fan
  authored
  d51a74b