added doing 'redo' by pressing 'undo' button with Ctrl or Shift key
authorHolger Schemel <info@artsoft.org>
Fri, 10 Mar 2017 14:53:58 +0000 (15:53 +0100)
committerHolger Schemel <info@artsoft.org>
Fri, 23 Mar 2018 22:21:10 +0000 (23:21 +0100)

No differences found