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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions