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

gcontini

2020-02-01 38151519e08e974855020377f2bb46281d875dfa

 .gitignore

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

**/CMakeCache.txt
**/CMakeFiles