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 /.gitignore | |
parent | 80fc8231ade4e8581dc0447f31bd280bb9c41d3d (diff) | |
download | exchange-476ae5380823f287421885bac15871dc970d53e7.tar.gz exchange-476ae5380823f287421885bac15871dc970d53e7.tar.bz2 exchange-476ae5380823f287421885bac15871dc970d53e7.zip |
simply defer all, only way to do well with partitions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions