diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-19 21:17:39 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:30 +0100 |
| commit | 52ec544c3b44054ad0d54c797a09c0a36572528c (patch) | |
| tree | d5ee4a00db7012e4118bfdd4a45cb332e6256cd1 /theme | |
| parent | 17347f51101e41423d7517403efc853264aae7ae (diff) | |
| download | subsurface-52ec544c3b44054ad0d54c797a09c0a36572528c.tar.gz | |
Mobile/filtering: finally implement the new settings in the actual filter
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme')
0 files changed, 0 insertions, 0 deletions