diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-15 14:57:58 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-15 14:58:10 +0100 |
| commit | b37fff0d5b08926169633ce8822de7ac616ae169 (patch) | |
| tree | 88be0f24a260f2e7037cabd60227584a5c7f6749 /.gitignore | |
| parent | d822035216d9ad33665a2f8274432918ca7d42be (diff) | |
ftbfs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions