diff options
| author | Dave Davenport <qball@gmpclient.org> | 2018-06-09 22:17:32 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2018-06-09 22:17:32 +0200 |
| commit | c96ebfc2de1fc0fd7f78214dc9bce6996edaeae4 (patch) | |
| tree | cc99c49bc609140149507f4d054e5c053bfa4bb9 /.gitmodules | |
| parent | 441c511296dd4416b86d02ee8c0672cd08808f33 (diff) | |
Re-add icon-theme option.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions