waterbearlang/waterbear — pull request #517 by usetheimpe (2014-02-05 17:49:03+00:00)
Title: Update undo.js

A small change for shortcut key for redo