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