Build #5 (7/05/2017, 6:27:20 AM)

1. Mention that official versions of OpenCOR can be downloaded both from (commit: 467a725) (details / githubweb)
2. Some minor cleaning up. (commit: b3f0f66) (details / githubweb)
3. Make sure that the contents menu reflects the fact that we have (commit: f5b5f55) (details / githubweb)
4. Some minor cleaning up. (commit: 03829e4) (details / githubweb)
5. Now provide two download sites for official versions of OpenCOR (#1154). (commit: 4a71ba1) (details / githubweb)
6. Some minor cleaning up. (commit: 04853cb) (details / githubweb)
7. Some minor cleaning up. (commit: ec28e8b) (details / githubweb)
8. Now show a drop-down menu whenever we click on a download link (for an (commit: 0bedba9) (details / githubweb)
9. Slight update to the downloads page (#1154). (commit: 80fe32c) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 5.8 sec waiting;
• 21 min build duration;
• 22 min total from scheduled to completion.

• refs/remotes/origin/master