Michael Kuhn 8e59fa3f27 Add shortcut to save wiki page ... This allows saving the wiki page with Ctrl-Enter.		2018-07-23 10:10:02 +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	2018-07-23 10:10:02 +02:00