Merge pull request #51 from adinapoli/release-0.5.3.5
Prepare for 0.5.3.5 release
commitca4b2b015a98365f00a23cc8ae4e7be870329797
authorAlfredo Di Napoli <alfredo.dinapoli@gmail.com>
dateWed 5 Sep 2018, 17:57 (8 years ago)
parent1be485bb6069c4
.gitignore+1
@@ -3,3 +3,4 @@ dist
33cabal.sandbox.config
44shell.nix
55.stack-work
6+tags
stack.yaml+1−1
@@ -2,4 +2,4 @@ flags: {}
22packages:
33- '.'
44extra-deps: []
5−resolver: lts-5.2
5+resolver: lts-11.13