summaryrefslogtreecommitdiff
path: root/example/.gitignore
diff options
context:
space:
mode:
authordario-loi <77234595+dario-loi@users.noreply.github.com>2024-11-24 14:46:27 +0100
committerdario-loi <loi.1940849@studenti.uniroma1.it>2024-11-24 18:38:21 +0100
commit8183b19a87f7b6be35bceef11ace399d876d158b (patch)
treea56c6368ff4f8dda180abca577c70b54079afc6c /example/.gitignore
parent76a7cf28f44820d1db2e02980201657186190d43 (diff)
parent0898b3d26129f3880223d0d457fe05fd3f6be180 (diff)
Merge branch 'lvntky:master' into master
Diffstat (limited to 'example/.gitignore')
-rw-r--r--example/.gitignore3
1 files changed, 1 insertions, 2 deletions
diff --git a/example/.gitignore b/example/.gitignore
index 07ac165..4b44f82 100644
--- a/example/.gitignore
+++ b/example/.gitignore
@@ -1,2 +1 @@
-build/
-core.*
+build / core.*