diff options
| author | Michal Kozakiewicz <morswin@gmail.com> | 2017-01-06 17:18:59 +0100 |
|---|---|---|
| committer | Michal Kozakiewicz <morswin@gmail.com> | 2017-01-06 17:26:35 +0100 |
| commit | 6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b (patch) | |
| tree | e75d77dd4686e6238fc9c9726474013686b2b36d /.gitignore | |
| parent | 5f4d6751efdb215207e7ee87b424b14c4dc041d1 (diff) | |
| download | purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.tar.gz purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.tar.zst purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.zip | |
Add psc-ide-server arguments and pass src to psc-ide-server
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions