diff options
| author | Björn Gustavsson <[email protected]> | 2019-03-19 12:24:26 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-03-19 16:02:00 +0100 |
| commit | 6e87e37bdd01401aa340a0f47e2d10fd8fe472ee (patch) | |
| tree | f453fb264105f2a205b37dcd1c0950f611dc97ad /scripts/pre-push | |
| parent | 5836998a956966a5ecc6dddfc4f8b73fc3aa6f1e (diff) | |
| download | otp-6e87e37bdd01401aa340a0f47e2d10fd8fe472ee.tar.gz otp-6e87e37bdd01401aa340a0f47e2d10fd8fe472ee.tar.bz2 otp-6e87e37bdd01401aa340a0f47e2d10fd8fe472ee.zip | |
Optimize map updating instructions
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions