Markus Ankenbrand b48890edd8 Use non-extended version by default		2017-02-25 09:16:22 +01:00
..
page-pins-map.js	Use non-extended version by default	2017-02-25 09:16:22 +01:00
tinytools.toggleswitch.min.js	Add toggle-switch library	2017-02-23 01:04:20 +01:00