diff options
| author | Michele Bini <michele.bini@gmail.com> | 2022-03-26 04:36:14 (GMT) |
|---|---|---|
| committer | Michele Bini <michele.bini@gmail.com> | 2022-03-26 04:36:14 (GMT) |
| commit | d4dd2dff355ec9fd281b3f3ed4b93cf5118e28c1 (patch) | |
| tree | 5926dcdb2b712b5e83690ebbca185b0a443b366d /docker | |
| parent | e8b879835c2375a680cda5c51043c3c03d7481df (diff) | |
Removing unused fonts though it doesn't affect compilation size in the current setup
Diffstat (limited to 'docker')
0 files changed, 0 insertions, 0 deletions