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