diff options
author | Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-03-16 23:10:47 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-17 16:50:38 -0700 |
commit | 219420bd6e1648596aa4a3324d3f39bb3d791be7 (patch) | |
tree | 3159513b272320d340b209fa9aa0e2ffb746c951 /packaging/ios/iPhoneSimulatorCMakeToolchain | |
parent | 2da7b6d0f5ddb5eaa428a64c79f58fdbe9efda7a (diff) | |
download | subsurface-219420bd6e1648596aa4a3324d3f39bb3d791be7.tar.gz |
filter: update fulltext index when editing dive
In edit commands, the fulltext might have changed and therefore
we have to update the fulltext index.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'packaging/ios/iPhoneSimulatorCMakeToolchain')
0 files changed, 0 insertions, 0 deletions