Include run_prettify.js script and update all pre tags to use it

This commit is contained in:
Arnaud Bienner 2017-10-17 16:30:59 +02:00
parent 911d9f4a7e
commit e44b6d6cbb

File diff suppressed because it is too large Load Diff