From ff68c1111f50bac161a2aca02dc73f0def265fd7 Mon Sep 17 00:00:00 2001 From: Stephane Bortzmeyer Date: Tue, 1 Aug 2023 20:58:15 +0200 Subject: [PATCH] * List of HTML files * Improved search script --- registries.xml | 10 ++++++++++ search.py | 23 +++++++++++++++-------- 2 files changed, 25 insertions(+), 8 deletions(-) diff --git a/registries.xml b/registries.xml index c104701..8dd79b3 100644 --- a/registries.xml +++ b/registries.xml @@ -18,6 +18,16 @@ second):
  • List of redundants (subtags redundant with other subtags)
  • +
  • As HTML: + +
  • As XML :