Merge pull request #9551 from mikeller/update_pre_push
commit6cbdf74d56eb2abcb501c3b7b8fea07fa0577e02
authorMichael Keller <github@ike.ch>
Sun, 8 Mar 2020 05:34:46 +0000 (8 18:34 +1300)
committerGitHub <noreply@github.com>
Sun, 8 Mar 2020 05:34:46 +0000 (8 18:34 +1300)
tree16b913b560741b9c4b7af26de84ba8ef811c64f4
parent7e4d8c10ee46851f8cd5e27b98bd11e4f9409e62
parenta36c18dd88b7fa658e177a98f63a8dd67d717ed3
Merge pull request #9551 from mikeller/update_pre_push

Removed legacy targets from 'pre-push' target.