Michael Kuhn 344dc07239 Add shortcut to save wiki page (#4452) ... This allows saving the wiki page with Ctrl-Enter.		2018-07-24 12:20:52 +02:00
..
draw.js
index.js	Add shortcut to save wiki page (#4452)	2018-07-24 12:20:52 +02:00