Greg Denehy f8bc679182 Merge branch 'dev' into plugin-key-bindings vor 7 Jahren
..
notes.html 0c3d89bfce minor tweak for #1564 vor 7 Jahren
notes.js f8bc679182 Merge branch 'dev' into plugin-key-bindings vor 7 Jahren