Merge remote-tracking branch 'github/master' into contrib
authorLeo Terziman <leo.terziman@clarte.asso.fr>
Fri, 17 Mar 2017 11:13:52 +0000 (12:13 +0100)
committerLeo Terziman <leo.terziman@clarte.asso.fr>
Fri, 17 Mar 2017 11:13:52 +0000 (12:13 +0100)
1  2 
code/IFCLoader.cpp

Simple merge