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

Bruno Windels f526098293 also remove ts types, as we get errors for the untyped files ... that don't exist		2022-01-12 17:41:00 +01:00
..
build-plugins	somewhat works, but not everything we need	2021-12-22 16:31:18 +01:00
logviewer	show number of matches in logviewer and don't hide expanded sibling	2021-06-02 21:25:46 +02:00
package-overrides	make ie11 compatible	2021-11-10 19:10:06 +01:00
sdk	also remove ts types, as we get errors for the untyped files	2022-01-12 17:41:00 +01:00
package.sh	add package script	2020-08-18 12:17:03 +02:00
release.sh	release script	2020-03-21 11:32:37 +01:00