ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity

Removed stack-alt.yaml from Extra-source-files

Browse Source
This commit is contained in:
iko 2020-03-12 22:40:08 +03:00
parent 0c81cf8295
commit 73937215dc
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
idris.cabal
View File

@ -73,7 +73,6 @@ Extra-source-files:
config.mk
custom.mk-alldeps
mkpkg.sh
stack-alt.yaml
stack-shell.nix
stack.yaml
stylize.sh