summaryrefslogtreecommitdiff
path: root/example/.gitignore
diff options
context:
space:
mode:
authordario-loi <loi.1940849@studenti.uniroma1.it>2024-11-24 20:21:45 +0100
committerdario-loi <loi.1940849@studenti.uniroma1.it>2024-11-24 20:21:45 +0100
commita3bfd065071e2dd4e772fae9da7908ce523148c6 (patch)
tree68b062d79a1b5e59c2bcba2ca8df1cef9852f656 /example/.gitignore
parent274cacc5fadb3c3a220b833f027eee47cbda824c (diff)
parentcd0a47245a54c249eca7ef1c0d86bc4aa3489e9b (diff)
Merge branch 'master' into bugfixes
Diffstat (limited to 'example/.gitignore')
-rw-r--r--example/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/example/.gitignore b/example/.gitignore
new file mode 100644
index 0000000..567609b
--- /dev/null
+++ b/example/.gitignore
@@ -0,0 +1 @@
+build/