1
0
mirror of https://gitlab.gnome.org/GNOME/libxml2.git synced 2025-03-09 04:58:16 +03:00
Daniel Veillard 9b00613d05 improved HTML indexing make the queries also lookup the HTML based indexes
* doc/index.py: improved HTML indexing
* doc/search.php: make the queries also lookup the HTML based indexes
Daniel
2002-10-07 11:13:27 +00:00
..
1999-02-13 00:07:17 +00:00
2000-08-19 16:40:28 +00:00
2000-08-19 16:40:28 +00:00