diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-04-12 22:18:09 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-04-12 22:18:09 +0200 |
| commit | 6b64ad261e92d4983f4fc4aa930942cc4b528db4 (patch) | |
| tree | 8ff2c715f0910fb535e8e40d0288a356c4ce6429 /src/util/util.c | |
| parent | 32f9c81ec9d45d13cb0bcf3cf6d8a4a5e01210c9 (diff) | |
implement #3739 (properly)
Diffstat (limited to 'src/util/util.c')
0 files changed, 0 insertions, 0 deletions