Gabriele Contini
2019-11-30 87ef087f7ae2729388bfb7f4adb05974ead449e0
.gitignore
@@ -28,6 +28,6 @@
*.out
/Default/
product/*
!product/.gitkeep
projects/*
!projects/.gitkeep