Revision 43ed7392
- added
- modified
- copied
- renamed
- deleted
- .gitignore (diff)
- Makefile (diff)
- setup.py (diff)
- src
- hydrilla
- proxy
- self_doc
- advanced_ui_features.html.jinja
- doc_index.html.jinja
- en_US
- packages.html.jinja
- policy_selection.html.jinja
- popup.html.jinja
- repositories.html.jinja
- script_blocking.html.jinja
- url_patterns.html.jinja
- self_doc.py (diff)
- web_ui
- self_doc
- translations.py (diff)
- proxy
- hydrilla
[proxy] make it possible to export embedded documentation as standalone .html files and include these in the binary release tarball