diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-10-17 16:50:19 -0400 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:29 +0100 |
commit | e5ee895793fcbece5941ba57b331343cc7b122b4 (patch) | |
tree | 94f0e302dbb93bf736e9f3ed9126d24b15862e1e /Documentation/images/UserManualSearch.jpg | |
parent | 2fe1750bf8cc943d9c8a1a192e47376886859752 (diff) | |
download | subsurface-e5ee895793fcbece5941ba57b331343cc7b122b4.tar.gz |
Mobile/filtering: animate the filter header
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/images/UserManualSearch.jpg')
0 files changed, 0 insertions, 0 deletions