diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-18 19:28:17 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-18 19:28:17 +0100 |
| commit | 5c46951821841cf93f2e68168617572be4b99b1e (patch) | |
| tree | d6c42a9e23485042fdaa084877edd38c745b0417 /doc | |
| parent | 73ee593b76ffdfa787b7c60501a05118c83d6785 (diff) | |
fix warnings
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions