aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:00:03 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:00:03 +0200
commit8272a61f1d62922bd18ccdd77e32b38039beded5 (patch)
tree3d15fec3057951203c8325b889a2d7569404d537 /.gitignore
parent6e0ea1519aaca4c449d8a734951d7f71e447b7f2 (diff)
Add a "dist" ruleHEADv1.1master
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..c32b546
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.tar.gz \ No newline at end of file