Marko Durkovic
|
ec7cd4a4e5
|
Update copyright headers
|
2023-01-11 15:21:14 +01:00 |
|
Marko Durkovic
|
8333cfb971
|
Update code for current linters
|
2022-07-27 16:39:26 +02:00 |
|
Marko Durkovic
|
19f0678645
|
Update lint
|
2022-04-11 00:07:53 +02:00 |
|
Marko Durkovic
|
946f2edb42
|
Update copyright headers
|
2022-04-10 23:32:25 +02:00 |
|
Marko Durkovic
|
52480e2bad
|
Type generics and missing return types
|
2021-11-25 14:26:17 +01:00 |
|
Marko Durkovic
|
54a7eca6be
|
Use current APIs
|
2021-10-21 17:09:24 +02:00 |
|
Marko Durkovic
|
bbedf76b98
|
Add bench tool
|
2021-05-16 17:40:53 +02:00 |
|