diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-06-04 11:30:54 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-06-04 11:30:54 +0200 |
| commit | ad850ce0a9d0df1df6499cb9bb35671c460f61c1 (patch) | |
| tree | d03253c1754f5fc105ea51736fe395f140c1014f /INSTALL | |
| parent | 1e30d60a25da52550c10f9c6606024f028f943d2 (diff) | |
ignore generated file
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions