diff options
author | Marvin W <git@larma.de> | 2022-02-12 19:15:35 +0100 |
---|---|---|
committer | Marvin W <git@larma.de> | 2022-02-12 19:16:16 +0100 |
commit | 602834bdf777cf1c3909392dc52e5a3543f0ad0c (patch) | |
tree | 516b5952513d6672f0a12ba76a8dd08b261d68fc /main/src/ui/util | |
parent | 06f0bc00f14046dfb72794e0fcf516d240250e21 (diff) | |
download | dino-602834bdf777cf1c3909392dc52e5a3543f0ad0c.tar.gz dino-602834bdf777cf1c3909392dc52e5a3543f0ad0c.zip |
Fix build on Debian 10
Diffstat (limited to 'main/src/ui/util')
0 files changed, 0 insertions, 0 deletions