summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorfpi2020-01-13 13:41:28 +0100
committerfpi2020-01-29 17:50:18 +0100
commit83f2e4d3295faf983c0ebc44229ac06b6349d01e (patch)
tree7c992a545be445e8f1da18e0c976268f3dacea15
parentAn orphan (diff)
Add a .gitignoreinit
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..12e29f7
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+tangle/* \ No newline at end of file