rm unfinished undo/redo engine (#757)
Compare changes
- Wuttke, Joachim authored
@@ -17,6 +17,7 @@
@@ -17,6 +17,7 @@
@@ -70,10 +71,8 @@ public:
@@ -70,10 +71,8 @@ public:
@@ -102,7 +101,6 @@ public:
@@ -102,7 +101,6 @@ public:
@@ -132,7 +130,10 @@ private:
@@ -132,7 +130,10 @@ private: