Berthold Stoeger 8c2383b495 Undo: don't modify source-dives on merge
For undo, it is crucial that commands don't modify existing dives.
Unfortunately, dive merging would write into the data-structures
of the to-be-merged dives. To prevent it from doing so, make the
input dives const-pointers.

This led to a whole cascade of functions that had to take const
and significant churn.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2018-10-11 16:22:27 -07:00
..
2018-10-06 19:47:06 -07:00
2018-07-18 02:09:15 +03:00
2018-01-31 14:47:26 +01:00
2017-04-29 13:32:55 -07:00
2018-08-23 05:16:38 -07:00
2018-09-24 07:20:25 -07:00
2018-05-27 23:18:01 +03:00
2018-08-23 05:16:38 -07:00
2018-09-07 11:03:30 -07:00
2017-04-29 13:32:55 -07:00
2018-09-13 08:16:54 -07:00
2018-05-30 21:47:07 -07:00
2017-04-29 13:32:55 -07:00
2017-10-04 08:05:09 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00