diff options
| author | Enrico Zini <enrico@enricozini.org> | 2020-11-15 15:00:59 +0100 |
|---|---|---|
| committer | Enrico Zini <enrico@enricozini.org> | 2020-11-15 15:00:59 +0100 |
| commit | adbd1726e40de98dc95b6e8d29f70d6783b13289 (patch) | |
| tree | d67c67eb7b9e6803bfadb3ee749afd3ad8e12201 /.gitignore | |
| parent | 87df5fad58f2fd95c235cfee63dc6853c2941d02 (diff) | |
Added comments
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions