summaryrefslogtreecommitdiff
path: root/windows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-06-03 14:42:55 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2016-06-03 14:42:55 -0700
commit9a77544813fb0a40d43ecbbddfad55976aea8ddb (patch)
treee41173dee088409a4ae5467c8dfc4bd60c6bb6d7 /windows
parentdc0ade35131905dcb379d063ddf37ad3b6fee3e6 (diff)
Fixed windows/stack.yaml.
Can't set flag on something not in extra-deps.
Diffstat (limited to 'windows')
-rw-r--r--windows/stack.yaml2
1 files changed, 0 insertions, 2 deletions
diff --git a/windows/stack.yaml b/windows/stack.yaml
index 0dfb77ce4..21e45e93c 100644
--- a/windows/stack.yaml
+++ b/windows/stack.yaml
@@ -11,8 +11,6 @@ flags:
unicode_collation: false
test_citeproc: false
debug: false
- texmath:
- network-uri: true
packages:
- '..'
extra-deps: