diff options
author | Mike Kaganski <mike.kaganski@collabora.com> | 2019-05-24 10:39:19 +0200 |
---|---|---|
committer | Mike Kaganski <mike.kaganski@collabora.com> | 2019-05-24 13:58:46 +0200 |
commit | d89054b3b3acd6c914c6ec8c3e5a530f9058a85b (patch) | |
tree | d5a0b879edde14cc5b3920867f4d9a8737988148 /shell/Library_ooofilt_x64.mk | |
parent | a82eed1e8ad3819fda34c26df035cd5472eeec5b (diff) |
Shell extension also enables full-text search on Windows
Change-Id: I04adf5850fff872d27a8ddc344523de281448a80
Reviewed-on: https://gerrit.libreoffice.org/72895
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'shell/Library_ooofilt_x64.mk')
0 files changed, 0 insertions, 0 deletions