Matthias Jentsch d00e854f4b Remove unused code from old Chrome history workaround ... refs #6277		2015-09-10 17:33:11 +02:00
..
behavior	Fix multi-selection in combination with anchors	2015-09-10 16:49:18 +02:00
eventlistener.js	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
events.js	Revert "js: Use the last button instead of the first one for form submits"	2015-08-28 10:28:55 +02:00
history.js	Remove unused code from old Chrome history workaround	2015-09-10 17:33:11 +02:00
loader.js	Fix history breaking on autorefresh	2015-08-28 16:06:07 +02:00
logger.js	Add missing documentation	2015-09-10 17:03:58 +02:00
module.js	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
timer.js	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
timezone.js	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
ui.js	Cleanup and conform to coding guidelines	2015-08-25 16:58:14 +02:00
utils.js	Cleanup and conform to coding guidelines	2015-08-25 16:58:14 +02:00