aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:01:56 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-04 18:01:56 +0200
commit96a2aae0068b936c455a32e0684edac99a4d6866 (patch)
tree6703971293fc223b80bf3a03f66ac1d37b85f884 /.gitignore
parentea2c6d0e6af7b15a5eb5bd0f9fceff5169aae348 (diff)
Add a "dist" ruleHEADmaster
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