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

Gabriele Contini

2020-02-01 289886021add9711c052ccf66859b6370a9193a5

 .gitignore

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

**/CMakeCache.txt
**/CMakeFiles