Home Explore Help
Register Sign In
theenglishway
/
purescript_linked_in
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: main
Branches Tags
purescript_l...
/
make_prod.sh

make_prod.sh 39 B
Permalink History Raw

123 
  1. #!/bin/sh
    2. 

  2. 

  3. git apply ./make_prod.patch
    4.