Andrej Tibaut 827c6ac6b4 Motivated by issue #608 to improve the method def git_clone(...) to the def git_clone_or_pull_repository(...). ...

Also, dependencies versions were updated.

2019-06-26 12:44:26 +02:00

..

patches/occt

Enable exception handling on occt release builds Fix #462

2018-09-18 13:39:44 +02:00

build-all.py

Motivated by issue #608 to improve the method def git_clone(...) to the def git_clone_or_pull_repository(...).

2019-06-26 12:44:26 +02:00