Merge pull request #209 from srid/warp-not-default
use-warp should be disabled by default
commit301b532a4b6ab7ad1643317168ed4932292050cb
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateFri 2 Feb 2018, 15:06 (9 years ago)
parent212dca4fd1ffc2
reflex-dom/reflex-dom.cabal+2−1
@@ -19,7 +19,8 @@ extra-source-files: src/Reflex/Dom/Xhr/Foreign.hs
1919
2020flag use-warp
2121 description: Use jsaddle-warp server
22− default: True
22+ default: False
23+ manual: True
2324
2425flag webkit2gtk
2526 description: Use WebKit2 version of WebKitGTK.