Florian Dold
|
fb2e2f8993
|
more lint fixes
|
2020-04-07 13:37:32 +05:30 |
|
Florian Dold
|
aaf950e2ad
|
re-format with prettier v2, fix HTML
|
2020-03-30 16:09:32 +05:30 |
|
Florian Dold
|
0c9358c1b2
|
new date format, replace checkable annotations with codecs
|
2019-12-19 20:42:49 +01:00 |
|
Florian Dold
|
985c90e0ad
|
Christian's thresholds for throttling
|
2019-12-15 17:00:22 +01:00 |
|
Florian Dold
|
74433c3e05
|
refactor: re-structure type definitions
|
2019-12-12 20:53:15 +01:00 |
|
Florian Dold
|
99bccae9fe
|
max->min
|
2019-12-09 13:46:28 +01:00 |
|
Florian Dold
|
3f71aff19f
|
oops, missing file
|
2019-12-09 13:29:42 +01:00 |
|