Dietmar Maurer c8802a60b7 use auto-generated block IDs to reference online docu.		2016-10-13 11:26:06 +02:00
..
Button.js	rename manager5 to manager6	2016-01-22 11:24:10 +01:00
ConsoleButton.js	ext6migrate: remove trailing whitespaces	2016-03-16 16:32:55 +01:00
HelpButton.js	use auto-generated block IDs to reference online docu.	2016-10-13 11:26:06 +02:00
Split.js	jslint: fix type confusion and property access	2016-04-29 17:06:23 +02:00