]> git.immae.eu Git - github/fretlink/purs-loader.git/commit
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)
commit941d65aeea0db19b86dc3a80fc58c1ce340965cf
tree0cf5d2972456f083ad887c9891b365dbd08d89b2
parent5f4d6751efdb215207e7ee87b424b14c4dc041d1
parent4343e0eb79b0324d7f4c4eed081780faeaa836a0
Merge pull request #80 from kozak/feature/psc-ide-server-args

Add psc-ide-server arguments and pass src to psc-ide-server