diff options
author | Thomas F. K. Jorna <[email protected]> | 2021-07-31 11:19:48 +0200 |
---|---|---|
committer | Thomas F. K. Jorna <[email protected]> | 2021-07-31 11:19:48 +0200 |
commit | 00b8bdac8f4fd2f054ca1e30b58556944bf49f8e (patch) | |
tree | f10abfd5d6a00fab47346b61950290dbdb405e7d /util | |
parent | 1bd37ff86e5d5e2397b77c10fcc90e80bfbfce49 (diff) |
got rid of type errors
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions