diff options
| author | fpi | 2020-01-13 13:41:28 +0100 |
|---|---|---|
| committer | fpi | 2020-01-29 17:50:18 +0100 |
| commit | 83f2e4d3295faf983c0ebc44229ac06b6349d01e (patch) | |
| tree | 7c992a545be445e8f1da18e0c976268f3dacea15 | |
| parent | An orphan (diff) | |
Add a .gitignoreinit
| -rw-r--r-- | .gitignore | 1 |
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 |