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	add scroolbars to wide graphs. (#608)	2017-01-22 20:10:01 +08:00
index.js	Add shortcut to save wiki page (#4452)	2018-07-24 12:20:52 +02:00