Merge remote-tracking branch 'origin/marco_sphinx-docs' into marco_sphinx-docs

marcobarilari · marcobarilari · commit de17a4730b42 · 2020-10-25T17:59:41.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -8,5 +8,8 @@
 *.mat
 check_my_code_report.txt
 
+# exclude content of files for virtual env (mostly for the doc)
+cpp_ptb
+
 # ignore file created by sphynx
 /docs/build
