]> git.immae.eu Git - github/fretlink/purs-loader.git/commitdiff
Merge pull request #80 from kozak/feature/psc-ide-server-args
authoreric <thul.eric@gmail.com>
Mon, 9 Jan 2017 20:48:12 +0000 (15:48 -0500)
committerGitHub <noreply@github.com>
Mon, 9 Jan 2017 20:48:12 +0000 (15:48 -0500)
Add psc-ide-server arguments and pass src to psc-ide-server


Trivial merge