diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-22 15:02:47 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-22 15:02:47 +0200 |
| commit | acbee86745552a9b6361a8969d3c0a9d0399fc88 (patch) | |
| tree | 5577cceea964a44e7eecf7412964ba5f5931669e /.dir-locals.el | |
| parent | c3fc8c5e558d4bcba0492c8d0e2d563ce7fb0519 (diff) | |
simplify batch insert: no cursor where not required, replace out_reserve_found with ruuid being allowed to remain NULL
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions