diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-17 19:34:24 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-17 19:34:24 +0100 |
| commit | ae30ff9f7ed754b74317a0aba11c3cab6de36abc (patch) | |
| tree | c2d577929704e3d8b4c420d8cb8a5b5a1bc7d205 /src/util | |
| parent | 98ec18bd7e7ab88b0432a3c5a00e54661b9b27e1 (diff) | |
bogus comment, fields no longer exist, logic problem ditto
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions