remove unused Setup.sh

master
Michele Guerini Rocco 2019-11-06 00:09:44 +01:00
parent 12fc50b89e
commit ade3c55ad2
Signed by: rnhmjoj
GPG Key ID: BFBAF4C975F76450
1 changed files with 0 additions and 2 deletions

View File

@ -1,2 +0,0 @@
import Distribution.Simple
main = defaultMain