diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-12-31 11:23:42 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-12-31 11:23:42 +0100 |
commit | b49fac3d5892f75a2eb7fbfbca0056965c6967c7 (patch) | |
tree | 65af67ab223775b43b82aa6e34ac0616cd146197 /src/util | |
parent | 5cd2bc5de3abf5863ac1718043485a2a74a3d364 (diff) |
-introduce new convenience macro
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions