diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-22 18:41:40 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-22 18:41:40 +0100 |
| commit | deed88fe3337059b2e1502939b7a5b55ee7417a8 (patch) | |
| tree | e200eaef7b408f40fafad0c74d9f47a6dda0b037 /.gitignore | |
| parent | 0e74fbef8dff6b0ab8dde4619c74366ae55267a5 (diff) | |
complete config
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions