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 /README.md | |
| 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 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -75,3 +75,4 @@ Default options: | |||
| 75 | 75 | ||
| 76 | Experimental support for instant rebuilds using `psc-ide-server` can be enabled | 76 | Experimental support for instant rebuilds using `psc-ide-server` can be enabled |
| 77 | via the `pscIde: true` option. | 77 | via the `pscIde: true` option. |
| 78 | You can use already running `psc-ide-server` instance - just define its port in `pscIdeArgs`. | ||