This repository has been archived on 2022-08-09. You can view files and clone it, but cannot push or open issues or pull requests.

Tobias Brunner 74152f7b34 revert number size		2019-07-06 13:57:51 +02:00
..
js	code cleanup	2019-07-06 13:32:28 +02:00
xml	revert number size	2019-07-06 13:57:51 +02:00