From: eric <thul.eric@gmail.com>
Date: Mon, 9 Jan 2017 20:48:12 +0000 (-0500)
Subject: Merge pull request #80 from kozak/feature/psc-ide-server-args
X-Git-Tag: 2.2.0~1
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=941d65aeea0db19b86dc3a80fc58c1ce340965cf;p=github%2Ffretlink%2Fpurs-loader.git

Merge pull request #80 from kozak/feature/psc-ide-server-args

Add psc-ide-server arguments and pass src to psc-ide-server
---

941d65aeea0db19b86dc3a80fc58c1ce340965cf