Dietmar Maurer 31349069ed fix bug #644: remove old java console ... Java browser plugins are depreciated and not supported by modern browsers anymore.		2015-06-19 08:18:46 +02:00
..
Button.js	use warning icon for dangerous actions	2012-04-24 08:59:43 +02:00
ConsoleButton.js	fix bug #644: remove old java console	2015-06-19 08:18:46 +02:00