Rémi Verschelde
9d24541597
Remove unused classes and stray headers
Found by reviewing headers with 1 or less matching includes:
```
find -name thirdparty -prune -o -name "*.h" -exec basename {} \; | sort -u > headers
for header in $(cat headers); do echo "$header: "; rg -l "#include \"(.*/)?$header\"" | wc -l; done > list-includes
```
2020-03-24 09:50:51 +01:00
..
2020-03-17 07:36:24 +01:00
2020-02-26 20:40:10 +01:00
2020-02-26 20:40:10 +01:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-02-25 12:55:53 +01:00
2020-01-26 11:29:07 +01:00
2018-09-28 14:07:39 +02:00