summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorfpi2020-07-27 10:11:25 +0200
committerfpi2020-07-27 10:15:59 +0200
commit71194e54cd50a20d6d1dbe7e883e5a07ec6150e2 (patch)
tree9335199e066c8da6b70c27ee8a9dce5e9f1ff606 /.gitignore
parentMake tangling of readme silent (diff)
Add experimental way to reduce amount of tangling
Works by saving the git commit hash upon tangling. Currently this does not record if tangling fails for some reason.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f757d17..0aca97e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
tangle/*
+hash/*
*.patch \ No newline at end of file