doc: Improve and rename tag filter script
[bertos.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 2 TracFooter.html
-rw-r--r-- 2 TracHeader.html
-rw-r--r-- 1026 chm-builder.py
-rw-r--r-- 1308 chm-toc-modifier.py
-rw-r--r-- 1878 dev-status-page.py
-rw-r--r-- 8077 doxygen.css
-rw-r--r-- 581 tag-filter.py
-rw-r--r-- 405 wizard-tag-filter.py