diff options
| author | Enrico Zini <enrico@enricozini.org> | 2020-11-15 15:12:44 +0100 |
|---|---|---|
| committer | Enrico Zini <enrico@enricozini.org> | 2020-11-15 15:12:44 +0100 |
| commit | 1f614b4c7a787624fd1d74121b7f2ff4ea793595 (patch) | |
| tree | 44e9b6e3350b9d7d64dbb5515284eceef809f1b2 /.gitignore | |
| parent | ab19bd03fbcc55e269373e5b4076253d20431cf5 (diff) | |
Translated to English
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions