Build script: Fixes and fine-tuning.
HTML tags in revision log entries are now converted to characterentities. Added a command for regenerating the revision list forthe latest build ("build_event.py changes").
View differences
Build script: Fixes and fine-tuning.
HTML tags in revision log entries are now converted to character
entities. Added a command for regenerating the revision list for
the latest build ("build_event.py changes").