Build #213 (7/02/2018, 11:08:17 PM)

1. Google code prettify: updated it to commit 05ad1b7 and customised it a (commit: 9adcaee) (details / githubweb)
2. Slight update to our third-party libraries page (#1542). (commit: 712206f) (details / githubweb)
3. Slight update to our downloads page (#1542). (commit: 13ac1a2) (details / githubweb)
4. Slight update to our prerequisites page (#1542). (commit: b161b56) (details / githubweb)
5. Slight updates to our file structure page (#1542). (commit: 59ad2ad) (details / githubweb)
6. Slight updates to our develop page (#1542). (commit: b51ee8b) (details / githubweb)
7. Slight update to our coding style page (#1542). (commit: 10a4107) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 5.4 sec waiting;
• 40 min build duration;
• 40 min total from scheduled to completion.

• refs/remotes/origin/master