diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-18 14:50:18 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-18 17:38:09 -0700 |
| commit | ef947ffc1f8487d65092547be9507dc20809cb6a (patch) | |
| tree | e853798e9bbe32331d9d54f350f944956aa28a9f /theme | |
| parent | da5aa06cc0157e790dccfd29fd329b44cfc33447 (diff) | |
| download | subsurface-ef947ffc1f8487d65092547be9507dc20809cb6a.tar.gz | |
build-system: silence one more warning for Ubuntu/Debian builds
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme')
0 files changed, 0 insertions, 0 deletions