diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-17T14·31+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-17T14·31+0000 |
commit | bdf089f46362b8c9defefa0a14e3198582e12818 (patch) | |
tree | 08ca2824d09cee5b00cbf9b9fc9294f326120598 /.gitignore | |
parent | 06699d4219019182d9e45ebc613ae1a1df23f257 (diff) |
* Before a build, show the disk space that the downloaded store paths
will approximately require.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions