diff options
| author | fpi | 2020-07-23 07:59:54 +0200 |
|---|---|---|
| committer | fpi | 2020-07-23 08:00:31 +0200 |
| commit | da085e587776c84938ae38cd10003921b319ba06 (patch) | |
| tree | 52d15217744ed312cd06bd349d3ee8b08aa01d65 /.gitignore | |
| parent | Add explicit make targets for readme tangles (diff) | |
Make tangling of readme silent
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions