diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-09-17 23:27:29 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-09-17 23:27:29 +0200 |
commit | b4b857abeaa0447b8dd4626f303ce7cdb728f0b7 (patch) | |
tree | bad1cf371b03c99459fd78bb9122f87b40e1b070 /src/util/util.c | |
parent | b7bd4579085710787286b01957b84b13b63c50d2 (diff) |
-misc minor fixes
Diffstat (limited to 'src/util/util.c')
0 files changed, 0 insertions, 0 deletions