From: Reino Ruusu <reino.ruusu@semantum.fi>
Date: Thu, 16 Apr 2020 10:11:53 +0000 (+0300)
Subject: APIs for skipping state restoration for non-undo synchronization events
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=9ecf695514f0a6faaadf3f912e7a85ccec3d8865;hp=9ecf695514f0a6faaadf3f912e7a85ccec3d8865

APIs for skipping state restoration for non-undo synchronization events

gitlab #520

Change-Id: I50491d4b514db05b8854bcbefff58e7bb9c3b13e
---