Update web-dom to v3.1.0 (#440)
commit9a01f74c9eb302e7f88373fc31efe2e998b28c7f
authorSpacchettiBotti <45738712+spacchettibotti@users.noreply.github.com>
dateSun 18 Aug 2019, 16:47 (7 years ago)
parentfa6491b
packages.json+1−1
@@ -3264,7 +3264,7 @@
32643264 "web-events"
32653265 ],
32663266 "repo": "https://github.com/purescript-web/purescript-web-dom.git",
3267− "version": "v3.0.0"
3267+ "version": "v3.1.0"
32683268 },
32693269 "web-events": {
32703270 "dependencies": [
src/groups/purescript-web.dhall+1−1
@@ -20,7 +20,7 @@
2020 , repo =
2121 "https://github.com/purescript-web/purescript-web-dom.git"
2222 , version =
23− "v3.0.0"
23+ "v3.1.0"
2424 }
2525, web-events =
2626 { dependencies =