diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-14 21:22:52 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-14 21:22:52 +0100 |
| commit | c8b05da9b1765d17a0503e963c8ba3469d8543cd (patch) | |
| tree | ccd88ff6bb4cc969deb3b118553973824031d98d /src/.gitignore | |
| parent | 5bd7ede31f39d2f1e60c90d3b99da502cd757d3e (diff) | |
| parent | 985d68e6dd13c526641f9c7b6785bff053564b0b (diff) | |
should be yes
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions