fix build
This commit is contained in:
parent
6eae714d1d
commit
07d534b43c
10 changed files with 191 additions and 6 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -1,4 +1,5 @@
|
|||
dist
|
||||
!docs/dist
|
||||
dist-*
|
||||
cabal-dev
|
||||
*.o
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue