diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-31 21:59:28 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-31 21:59:28 +0100 |
| commit | 0d21b947f8cc0494764ae7a9c7e9ee08d2a1916b (patch) | |
| tree | 57d1e04a6d2e137698ec167ed36ad6240ef8e40c /src/.gitignore | |
| parent | 3399ece8c3600ab630b9c99d47f6c3511c5c72f2 (diff) | |
fix bogus assertion
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions