]> xenbits.xensource.com Git - libvirt.git/commit
projects / libvirt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c01e2d) | patch
docs: update search form to use hyperkitty search
authorDaniel P. Berrangé <berrange@redhat.com>
Fri, 27 Oct 2023 11:24:26 +0000 (12:24 +0100)
committerDaniel P. Berrangé <berrange@redhat.com>
Tue, 31 Oct 2023 10:04:31 +0000 (10:04 +0000)
commitfb9df5396098d4dc9b1566fc1656c5c8a3da8684
treec86b0c884dcd16148aac76c3e71fce9bf5af0777tree
parent2c01e2d75b7218030f4cbfc80ec6122f7b9d2d81commit | diff
docs: update search form to use hyperkitty search

The hyperkitty search facility does a massively better job
than google docs for mailing lists.

Reviewed-by: Ján Tomko <jtomko@redhat.com>
Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>
docs/js/main.js diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.