diff options
author | eric <thul.eric@gmail.com> | 2017-01-09 15:48:12 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-09 15:48:12 -0500 |
commit | 941d65aeea0db19b86dc3a80fc58c1ce340965cf (patch) | |
tree | 0cf5d2972456f083ad887c9891b365dbd08d89b2 /src/Psc.js | |
parent | 5f4d6751efdb215207e7ee87b424b14c4dc041d1 (diff) | |
parent | 4343e0eb79b0324d7f4c4eed081780faeaa836a0 (diff) | |
download | purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.tar.gz purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.tar.zst purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.zip |
Merge pull request #80 from kozak/feature/psc-ide-server-args
Add psc-ide-server arguments and pass src to psc-ide-server
Diffstat (limited to 'src/Psc.js')
0 files changed, 0 insertions, 0 deletions