diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-16 22:33:25 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-16 22:33:25 +0100 |
| commit | 8c4bc1121a10b525460a1d7de0973670c1f290fa (patch) | |
| tree | 534c3a8c734528e018069413511f1d83dc3c0acf /src/util | |
| parent | 148f81331a6fdec9e7db90fad0d2b42ce09c6b61 (diff) | |
remove dead field
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions