Gabriele Contini
2019-12-14 ec839e6965064291f91ab3b884dc7fa1fab7b52c
.gitignore
@@ -28,6 +28,6 @@
*.out
/Default/
product/*
!product/.gitkeep
projects/*
!projects/.gitkeep