diff options
| author | Enrico Zini <enrico@enricozini.org> | 2020-11-16 10:07:01 +0100 |
|---|---|---|
| committer | Enrico Zini <enrico@enricozini.org> | 2020-11-16 10:07:01 +0100 |
| commit | 5acf266611f164c7d6dddcae7aa6696abc01e225 (patch) | |
| tree | 913b249eb53b6ec746c3ba409613aeeb736bd821 /.gitignore | |
| parent | d7ae3256a185358493bd9576b39086c438008164 (diff) | |
Tweaked descriptions for broader distribution
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions