diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-06-03 14:42:55 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-06-03 14:42:55 -0700 |
commit | 9a77544813fb0a40d43ecbbddfad55976aea8ddb (patch) | |
tree | e41173dee088409a4ae5467c8dfc4bd60c6bb6d7 | |
parent | dc0ade35131905dcb379d063ddf37ad3b6fee3e6 (diff) |
Fixed windows/stack.yaml.
Can't set flag on something not in extra-deps.
-rw-r--r-- | windows/stack.yaml | 2 |
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: |