diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-12-14 23:14:59 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-12-14 23:14:59 +0100 |
| commit | 05a992445eb5a5b296544adf66a34c2fb20c8141 (patch) | |
| tree | ef196da3365f00bcade52bee80b5d7941b472e8b /.gitignore | |
| parent | 05b338ce6f8ce46e55d2bb99414de346197808a8 (diff) | |
fix comments
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions