diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-03-19 19:14:19 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-03-19 19:14:19 +0100 |
| commit | 3d5e096fa24a2d11873d7e09a0b994a00882325d (patch) | |
| tree | d21005fefe0802de551baa6de5a0db4549c075b0 /doc/.gitignore | |
| parent | 1c4b72cb47d75ebe657246cc29a029dc2b1cf6df (diff) | |
eliminate warning
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions