diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-01-04 11:56:45 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-01-04 11:56:45 +0100 |
| commit | 164dd0ff1ee701477f4b7064a3169495c5577c42 (patch) | |
| tree | db376f38f7e6e0f01f74168de75abe40bcd5b809 /COPYING | |
| parent | 23cb23b1e73f996fddf3a1cbb22329c4dcf632e9 (diff) | |
fix #5234
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions