diff options
| author | fpi | 2020-12-19 18:32:54 +0100 |
|---|---|---|
| committer | fpi | 2020-12-19 18:33:41 +0100 |
| commit | bf7d0a09d6e0eaac029b43d976126164e786910b (patch) | |
| tree | 3b846cc5934e958a07855fee7f98c0c2fc27cccb /.gitignore | |
| parent | Expand update target to also merge and rebase (diff) | |
Add mkdir before tangling
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions