xapian: Rename index to index-files.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:58:20 +0000 (10:58 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:58:20 +0000 (10:58 +0200)
commitaea19d8e632b66e0258ac898e54cfa12f77b6e47
tree6224e83dcaa7ba487fc9ca52731b8a27d60044bb
parent5318c2089f96a8652f1413f06bc8e1ce09d12583
xapian: Rename index to index-files.
mumi/xapian.scm