Build Ubuntu_16.04_bioeng49 (27/01/2018, 6:48:35 AM)

1. Some minor cleaning up. (details / githubweb)
2. General: make sure that reloading a file involves checking that a file (details / githubweb)
3. General: make sure that reloading a file involves checking that a file (details / githubweb)
4. Some minor cleaning up. (details / githubweb)
5. General: a new file (with no specific type) is not wrongly considered to (details / githubweb)
6. Slight update to our downloads page (#1530). (details / githubweb)

Started by upstream project OpenCOR_Linux build number 205
originally caused by:

• Started by GitHub push by agarny

This run spent:

• 16 ms waiting;
• 37 min build duration;
• 37 min total from scheduled to completion.

• refs/remotes/origin/master