diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-08-25 15:40:01 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-08-25 15:40:47 +0200 |
| commit | 5cfb3d3b9695802d18d9a0b08a03c601c930aeed (patch) | |
| tree | 2912532a96df90f9b708760d188384448b2bfebe /contrib | |
| parent | a199215b985192aeda2a25e507e1349ff41d4eb5 (diff) | |
fix ftbfs
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions