diff options
author | Richard Carlsson <[email protected]> | 2016-11-15 17:21:49 +0100 |
---|---|---|
committer | Richard Carlsson <[email protected]> | 2016-11-17 21:02:51 +0100 |
commit | 08d22e7658542279711753f3363299105bd669bb (patch) | |
tree | 506ef99bd2e7a5486b0b18d40e3a86a13a158232 /lib/tools/priv/.gitignore | |
parent | 6abc37b32ac6965ab780cd6fda5667585caaa711 (diff) | |
download | otp-08d22e7658542279711753f3363299105bd669bb.tar.gz otp-08d22e7658542279711753f3363299105bd669bb.tar.bz2 otp-08d22e7658542279711753f3363299105bd669bb.zip |
Pass through known size instead of recomputing
Diffstat (limited to 'lib/tools/priv/.gitignore')
0 files changed, 0 insertions, 0 deletions