Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[WebUI] Improve the gen_web_gettext script
* Create a 'minified' gettext.js by removing comments from file and simplifying js code. * Added creating the file to generate_pot.py, so it is not forgotten about.
- Loading branch information