Build #579 (12/12/2018, 11:27:49 AM)

1. Some minor cleaning up of the general documentation. (details / githubweb)

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

• GitHub pull request #1911 of commit a5f18d9782ba27a325ad13c7ddcfb57ca8244a16, no merge conflicts.

This run spent:

• 2 ms waiting;
• 5 min 52 sec build duration;
• 5 min 52 sec total from scheduled to completion.

• refs/remotes/origin/pr/1911/merge