diff options
| author | Tomasz Rybarczyk <paluho@gmail.com> | 2016-11-05 22:20:56 +0100 |
|---|---|---|
| committer | Tomasz Rybarczyk <paluho@gmail.com> | 2016-11-05 22:20:56 +0100 |
| commit | e6582cd40dc225157ebd05c51a134ac5a6e289c7 (patch) | |
| tree | b73e9c137449910133732dbf2efc118599d28164 /.gitignore | |
| parent | 39d11a2673fde4708d10142a0eba5d8bca7c1a07 (diff) | |
| download | purs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.tar.gz purs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.tar.zst purs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.zip | |
Add info about possibility to connect to existing `psc-ide-server`
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions