diff options
| author |  Sander Kleijwegt <sander@myowndomain.nl> | 2015-10-03 00:48:46 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2015-10-04 16:29:32 +0100 |
| commit | a02ea685823f6474da7de51875b1ed2970b10eba (patch) | |
| tree | c70b22427f3d705fbfcbb46877e6a57e77b87c54 /divesitehelpers.h | |
| parent | a241393e7b465ec0f263a7afaf20f7b65617adae (diff) | |
| download | subsurface-a02ea685823f6474da7de51875b1ed2970b10eba.tar.gz | |
HTML Export: Ignore case when searching for tags
Fixes #934
Signed-off-by: Sander Kleijwegt <sander@myowndomain.nl>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'divesitehelpers.h')
0 files changed, 0 insertions, 0 deletions