diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-15 12:07:33 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-15 12:07:33 +0100 |
| commit | 94a80b37d53ed7c54155a27d68a91e76c2358542 (patch) | |
| tree | 2ea47d9803cebf9fb51033a9fe223b9ebf820b1d /src/exchangedb/pg_get_policy_details.c | |
| parent | ffbc537fe7040c02bfa1374c09aeab225876d468 (diff) | |
-first micro benchmark
Diffstat (limited to 'src/exchangedb/pg_get_policy_details.c')
0 files changed, 0 insertions, 0 deletions