From: Marko Luukkainen <marko.luukkainen@semantum.fi>
Date: Tue, 26 Mar 2019 13:27:55 +0000 (+0200)
Subject: Allow "doNotSynchronizeOntologies" to work.
X-Git-Tag: v1.43.0~136^2~170
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=6a98de0ec279869a23d14cb9b3ed6cb0999a820d;hp=6a98de0ec279869a23d14cb9b3ed6cb0999a820d

Allow "doNotSynchronizeOntologies" to work.

Additionally, using the flag bypasses shared library synchronisation.

Change-Id: I384a2f878483be25c92e9644113e4d5b2ae95bca
---