diff options
| author | fpi | 2020-07-27 10:11:25 +0200 |
|---|---|---|
| committer | fpi | 2020-07-27 10:15:59 +0200 |
| commit | 71194e54cd50a20d6d1dbe7e883e5a07ec6150e2 (patch) | |
| tree | 9335199e066c8da6b70c27ee8a9dce5e9f1ff606 /.gitignore | |
| parent | Make 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-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ tangle/* +hash/* *.patch
\ No newline at end of file |