diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:58:20 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:58:20 +0200 |
commit | aea19d8e632b66e0258ac898e54cfa12f77b6e47 (patch) | |
tree | 6224e83dcaa7ba487fc9ca52731b8a27d60044bb /assets/img/spin.gif | |
parent | 5318c2089f96a8652f1413f06bc8e1ce09d12583 (diff) |
xapian: Rename index to index-files.
Diffstat (limited to 'assets/img/spin.gif')
0 files changed, 0 insertions, 0 deletions