Change permission bits for build.cabal.sh, fixes #517 (#520)
authorZhen Zhang <izgzhen@gmail.com>
Mon, 5 Mar 2018 01:59:05 +0000 (09:59 +0800)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 5 Mar 2018 01:59:05 +0000 (01:59 +0000)
commit7894c96e4776e4bfb84d499a7d32999cf4e27e65
treec3756b8400889ce46eea8698524e984fb8c8146e
parent37bd95fee83b50c2567914a6e6c2a4cc73803f30
Change permission bits for build.cabal.sh, fixes #517 (#520)
build.cabal.sh [changed mode: 0644->0755]