aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorTomasz Rybarczyk <paluho@gmail.com>2016-11-05 22:20:56 +0100
committerTomasz Rybarczyk <paluho@gmail.com>2016-11-05 22:20:56 +0100
commite6582cd40dc225157ebd05c51a134ac5a6e289c7 (patch)
treeb73e9c137449910133732dbf2efc118599d28164
parent39d11a2673fde4708d10142a0eba5d8bca7c1a07 (diff)
downloadpurs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.tar.gz
purs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.tar.zst
purs-loader-e6582cd40dc225157ebd05c51a134ac5a6e289c7.zip
Add info about possibility to connect to existing `psc-ide-server`
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 4754ad5..410df93 100644
--- a/README.md
+++ b/README.md
@@ -75,3 +75,4 @@ Default options:
75 75
76Experimental support for instant rebuilds using `psc-ide-server` can be enabled 76Experimental support for instant rebuilds using `psc-ide-server` can be enabled
77via the `pscIde: true` option. 77via the `pscIde: true` option.
78You can use already running `psc-ide-server` instance - just define its port in `pscIdeArgs`.