diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-11-18 18:57:46 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-11-18 18:57:46 +0100 |
| commit | f70b8c571da297e509393d636adbc034630097bc (patch) | |
| tree | 0d9e9190da2b101f72db862c8ef23495fd7b965a /COPYING | |
| parent | 5534b98d73f1a15edcc61551115a0d7a17751e30 (diff) | |
fixing minor texinfo issue
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions