diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2019-10-01 10:18:03 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2019-10-01 13:32:00 +0200 |
commit | 6d9203b351cf4ef9fa05343f67633a0c633379a4 (patch) | |
tree | 3aec51c6379132138ec56d4e0edfa1274e408193 /shell | |
parent | 0b6bb036168590795b674fb3fdfb42ba5fdac271 (diff) |
Use loplugin::isSamePathname (as needed on Windows)
Change-Id: I8a1df1c64a93dc3e4a6fb00afd11aaf8521ecea4
Reviewed-on: https://gerrit.libreoffice.org/79926
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions