diff options
| author | jao <jao@gnu.org> | 2022-08-04 18:19:50 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-08-04 18:20:43 +0100 |
| commit | 7cc30ef135f7af3c64240b473abb83283f29891f (patch) | |
| tree | 8fd2bf8020bceb0528e6bb550f7fad99dc22b349 /lib/doc | |
| parent | 68280cc53bcef81ea684ee01276b091b93eb8a71 (diff) | |
| download | elibs-7cc30ef135f7af3c64240b473abb83283f29891f.tar.gz elibs-7cc30ef135f7af3c64240b473abb83283f29891f.tar.bz2 | |
jao-recoll not needed with latest consult-recoll
Diffstat (limited to 'lib/doc')
| -rw-r--r-- | lib/doc/jao-recoll.el/jao-recoll.el (renamed from lib/doc/jao-recoll.el) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/doc/jao-recoll.el b/lib/doc/jao-recoll.el/jao-recoll.el index b23106f..b23106f 100644 --- a/lib/doc/jao-recoll.el +++ b/lib/doc/jao-recoll.el/jao-recoll.el |