build: renaming to sourcetrail

2017-04-07 13:19:09 +02:00
parent 8391a6da57
commit 045a259b2e
224 changed files with 885 additions and 4271 deletions
@@ -108,8 +108,8 @@ public:
 	int getPluginPort() const;
 	void setPluginPort(const int pluginPort);

-	int getCoatiPort() const;
-	void setCoatiPort(const int coatiPort);
+	int getSourcetrailPort() const;
+	void setSourcetrailPort(const int sourcetrailPort);

 	// controls
 	int getControlsMouseBackButton() const;