diff options
| author | Gabor Kelemen <gabor.kelemen.extern@allotropia.de> | 2023-12-23 12:20:08 +0100 |
|---|---|---|
| committer | Gabor Kelemen <kelemeng@ubuntu.com> | 2023-12-24 11:50:41 +0100 |
| commit | 9f2bcf335924039ac1b791a12fac8485bb7ba449 (patch) | |
| tree | 07a13b061b24761784189acecf16bbd93dd7a9d4 /configmgr/inc | |
| parent | f8cd2837493ebcab1ff485e00bfc9181779b49d8 (diff) | |
Remove unused headers found by bin/find-unusedheaders.sh
Change-Id: I859138dee575ef7fd76db28b619c673782914782
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/161235
Tested-by: Jenkins
Reviewed-by: Gabor Kelemen <kelemeng@ubuntu.com>
Diffstat (limited to 'configmgr/inc')
0 files changed, 0 insertions, 0 deletions