diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-03-03 17:48:00 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-03-03 17:48:00 +0100 |
commit | 476ae5380823f287421885bac15871dc970d53e7 (patch) | |
tree | 51f2b6195ec32839e9a54237056456da7263d402 /src/exchangedb/Makefile.am | |
parent | 80fc8231ade4e8581dc0447f31bd280bb9c41d3d (diff) |
simply defer all, only way to do well with partitions
Diffstat (limited to 'src/exchangedb/Makefile.am')
0 files changed, 0 insertions, 0 deletions