diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-10-25 15:23:46 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-10-25 15:23:46 +0200 |
| commit | 29fa45446b15d69dedd1fcf01cc65292a9ac120f (patch) | |
| tree | 30d86caf2ed7e7918fb164cf69f71824ef9ce05c /doc/.gitignore | |
| parent | 176078bb8c961603e897d58dfed6406148fe94d5 (diff) | |
avoid introducing G twice
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions