diff options
author | Rickard Green <[email protected]> | 2018-05-29 15:19:16 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-05-29 15:19:16 +0200 |
commit | 23abd013424f8264e422f7f478a71919d5684309 (patch) | |
tree | 9b87646c4222cc035f07ea4c1bfae41ad8525231 /make/save_args | |
parent | 74a95b3d511177a9b35c2b0272b9ca5511b6f750 (diff) | |
download | otp-23abd013424f8264e422f7f478a71919d5684309.tar.gz otp-23abd013424f8264e422f7f478a71919d5684309.tar.bz2 otp-23abd013424f8264e422f7f478a71919d5684309.zip |
Ensure no progress reports when checking OTP release
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions