Vojtech Bubnik 056c46d01f Undo/Redo serialization extension:
If an object indicates a valid timestamp, then the timestamp
is relied upon to not serialize the object data if the timestamp
of the same object on the undo/redo stack matches.
2020-09-23 12:18:39 +02:00
..
2020-03-24 21:51:05 +01:00
2019-04-02 10:33:37 +02:00
2019-04-02 10:33:37 +02:00
2020-09-14 18:03:22 +02:00
2020-09-11 16:51:05 +02:00
2020-09-15 16:40:57 +02:00
2020-09-08 13:33:43 +02:00