stack.yaml - fix server flag.
This commit is contained in:
parent
2b30d27669
commit
e4a7ed9e36
1 changed files with 1 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
||||||
flags:
|
flags:
|
||||||
pandoc:
|
pandoc:
|
||||||
pandoc-cgi: false
|
server: false
|
||||||
embed_data_files: true
|
embed_data_files: true
|
||||||
QuickCheck:
|
QuickCheck:
|
||||||
old-random: false
|
old-random: false
|
||||||
|
|
Loading…
Reference in a new issue