diff options
author | Wu Cheng-Han | 2016-10-12 13:08:53 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-10-12 13:08:53 +0800 |
commit | f4fe27e26c5fafc12a4c3501cf49f9514f0e3c96 (patch) | |
tree | 9afd88ff68a5578b2dd0d1f9780c5d5153d0bb8c /public/vendor/ot/undo-manager.js | |
parent | cd9f8fe36b707ff5a9f8f7be4d55145ddee97f3a (diff) |
Update to make history refresh have better UX and keep the beginning and end of the pagination visible
Diffstat (limited to 'public/vendor/ot/undo-manager.js')
0 files changed, 0 insertions, 0 deletions