diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-01-18 19:16:33 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-01-18 19:16:44 +0100 |
commit | 8dbc19758b87c41ada780c20edac0c500ab2daa1 (patch) | |
tree | 88f24a9f5d304a1b3a5c9ab6509395bb38af3cfb /src/util | |
parent | d53eca894011f31b698a13cf41d31e2d19c7e427 (diff) |
fix compiler warnings
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions