diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-04-15 19:41:44 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-04-15 19:41:44 +0200 |
commit | 663363fc0ed39cfb24d94d17e75011d7da19150a (patch) | |
tree | 1665c865cfdb52608f65ccdefe97d8a9b8bb76b1 /src/util/util.c | |
parent | bcf4b7f7244e150dc0a980097431add784f1beea (diff) |
Fix #4229
Diffstat (limited to 'src/util/util.c')
0 files changed, 0 insertions, 0 deletions