diff options
| author | Alex Mingoia <talk@alexmingoia.com> | 2016-05-12 13:57:55 -0700 |
|---|---|---|
| committer | Alex Mingoia <talk@alexmingoia.com> | 2016-05-12 13:57:55 -0700 |
| commit | 5163b5a276920e80e71051266696e0d8a3908037 (patch) | |
| tree | ce509f31d19b9e02320bda57b1b0e764026d54bc /.gitignore | |
| parent | f23665b22bf96eabdfbfc95f20348c9475e85ecd (diff) | |
| download | purs-loader-5163b5a276920e80e71051266696e0d8a3908037.tar.gz purs-loader-5163b5a276920e80e71051266696e0d8a3908037.tar.zst purs-loader-5163b5a276920e80e71051266696e0d8a3908037.zip | |
Disable instant psc-ide rebuilds by default.
Using psc-ide-server is experimental and there may be bugs or edge-cases.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions