diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-07 10:40:01 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-07 10:40:01 +0100 |
| commit | b2d8799af1b09b67779df3fd71b84ec59f7e9f7e (patch) | |
| tree | b0db537f87cc4d94374877966e87bc09d6a0d571 /COPYING | |
| parent | 40551fa08e45fcc71f3d260478a2f9910920f27d (diff) | |
work on #6679"
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions