5 Commits

Author	SHA1	Message	Date
Thomas Ruoff	940dc3cf59	make header configurable	2020-10-09 00:10:56 +02:00
Thomas Ruoff	5fde863577	style header	2020-10-08 23:52:08 +02:00
Thomas Ruoff	52a68e9989	further typing improvements	2020-09-09 00:25:09 +02:00
Thomas Ruoff	90ac05a907	fix most type errors ... still have a few things outstanding	2020-09-09 00:25:09 +02:00
Thomas Ruoff	be1e22460d	rename js/x ts/x	2020-09-09 00:25:09 +02:00