diff options
| author | fpi | 2021-01-04 15:51:16 +0100 |
|---|---|---|
| committer | fpi | 2021-01-04 15:51:45 +0100 |
| commit | a8072e98168d365de32753ab6388b2b6a8a0ec08 (patch) | |
| tree | 4a6c3862f34ad7d53da11e976bb0b6da06c05196 /.gitattributes | |
| parent | Add mkdir before tangling (diff) | |
Only create tangle directory if it does not exist
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions