diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:16:22 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:16:22 +0200 |
commit | 33e5a5786dec56b691b1c6db59d607694f77ea68 (patch) | |
tree | c8ca736cd990c44d159bbb9ac827e47ea80cfdf7 /assets/css/bootstrap.css | |
parent | 3b7871b740046c14448ac87eea958423fb01959a (diff) |
mumi: Add (mumi xapian).
* mumi/xapian.scm: New file.
* Makefile.am (SOURCES): Add it.
Diffstat (limited to 'assets/css/bootstrap.css')
0 files changed, 0 insertions, 0 deletions