diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-03-19 10:38:53 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-03-19 10:38:53 +0100 |
| commit | 66ce33525eb35c355228d898187e610b7f4ec282 (patch) | |
| tree | 04105cfd19ca3625f042d38c54480fa4d04b8035 /.gitmodules | |
| parent | 59075946de79276104c1302293deababa18ac5d1 (diff) | |
| download | exchange-66ce33525eb35c355228d898187e610b7f4ec282.tar.gz exchange-66ce33525eb35c355228d898187e610b7f4ec282.tar.bz2 exchange-66ce33525eb35c355228d898187e610b7f4ec282.zip | |
keep type of batch_size unsigned
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions