Marcus Miess 02d981cc2b Changed the ascii arrow to the HTML equivalent. Fixes the problem, where the pad arrow strings got broken.		2021-01-02 00:23:13 +01:00
..
controls.js	Changed the ascii arrow to the HTML equivalent. Fixes the problem, where the pad arrow strings got broken.	2021-01-02 00:23:13 +01:00
controls.min.js	Changed the ascii arrow to the HTML equivalent. Fixes the problem, where the pad arrow strings got broken.	2021-01-02 00:23:13 +01:00
graph.js	remove graph logging	2019-12-27 20:27:10 +01:00
graph.min.js	Add remControl() method for remove contols	2020-08-26 22:13:38 +02:00
slider.js	Fixing sliders not updating properly	2020-08-26 22:16:02 +02:00
slider.min.js	Fixing sliders not updating properly	2020-08-26 22:16:02 +02:00
tabbedcontent.js	Added tabbedcontent.js (from https://github.com/elboletaire/tabbedcontent)	2019-03-03 23:27:11 +01:00
tabbedcontent.min.js	Add remControl() method for remove contols	2020-08-26 22:13:38 +02:00
zepto.min.js	Moved examples/gui/data to data/ and adjusted tools/*.py	2019-03-03 21:23:39 +01:00