-
Michael Natterer authored
They are completely private to the undo system and don't need to be used anywhere else. Removes some clutter from the typed headers.
5080da50
They are completely private to the undo system and don't need to be used anywhere else. Removes some clutter from the typed headers.