ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris-dev/scripts
History
Scott Bonds f9194a644d Add OpenBSD support to shebang script 
* use sha1 instead of sha1sum on OpenBSD
* enable using runidris regardless of the script's extension
* mark runidris scripts executable
2017-08-03 08:08:14 -07:00
..
generate-multi-ghc-travis-template Move script from /bin to /scripts 2016-08-07 20:33:25 +10:00
runidris Add OpenBSD support to shebang script 2017-08-03 08:08:14 -07:00
runidris-node Add OpenBSD support to shebang script 2017-08-03 08:08:14 -07:00