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-24 09:50:51 +01:00
2018-06-28 19:17:41 +02:00
2020-01-01 11:16:22 +01:00
2018-09-27 09:54:21 +02:00
2018-09-27 09:54:21 +02:00
2020-01-26 17:59:15 +01:00
2018-10-02 09:14:47 +02:00
2020-02-25 12:30:33 +02:00
2020-03-17 07:36:24 +01:00
2019-07-08 21:17:10 +02:00
2020-01-01 11:16:22 +01:00
2020-01-01 11:16:22 +01:00
2020-03-08 12:36:39 +01:00
2020-01-01 11:16:22 +01:00
2020-02-18 10:10:36 +01:00
2020-02-18 10:10:36 +01:00
2020-01-08 12:26:53 +01:00
2019-12-13 13:50:33 +01:00
2019-10-12 23:23:33 +02:00
