diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-07-13 18:44:49 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-07-13 18:44:49 -0700 |
| commit | a721550a3ae1b44d3bbbb8868b22c50cabd80506 (patch) | |
| tree | 4f6b1e85af849d33609c4763d4531791dcc69f91 /desktop-widgets/searchbar.ui | |
| parent | 0fb4ac760244ca71e2a7be3d781ca4512b365db2 (diff) | |
| download | subsurface-a721550a3ae1b44d3bbbb8868b22c50cabd80506.tar.gz | |
user manual: update the bundled html version
And fix the date to say July.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/searchbar.ui')
0 files changed, 0 insertions, 0 deletions