]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
APIs for skipping state restoration for non-undo synchronization events 23/4123/1
authorReino Ruusu <reino.ruusu@semantum.fi>
Thu, 16 Apr 2020 10:11:53 +0000 (13:11 +0300)
committerReino Ruusu <reino.ruusu@semantum.fi>
Thu, 16 Apr 2020 13:40:38 +0000 (13:40 +0000)
gitlab #520

Change-Id: I50491d4b514db05b8854bcbefff58e7bb9c3b13e
(cherry picked from commit 9ecf695514f0a6faaadf3f912e7a85ccec3d8865)


No differences found