comparison src/plugins/undo.js @ 7:df1e18048d97

add examples/min.html and better defaults
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 04 Aug 2022 23:46:09 -0600
parents b7725dab7482
children ea32a44b5a6e
comparison
equal deleted inserted replaced
6:c26f7240e96b 7:df1e18048d97