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

Gabriele Contini

2020-01-11 2695752f624aa7dc3f91672c6fbeb894c22eaa47

 .gitignore

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

**/CMakeCache.txt
**/CMakeFiles