• script: remove unused function.

    @emilio
    emilio committed Sep 18, 2017
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    6edefb8