Merge remote-tracking branch 'origin/develop' into feature/pc_identifiers

gcontini

2020-01-11 84597288d950867922a185b2c5a8231495a5d303

 .gitignore

@@ -31,3 +31,5 @@
projects/*
!projects/.gitkeep

**/CMakeCache.txt
**/CMakeFiles