Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Improve license_header tool by only traversing files under revision c… #13803

Merged
merged 2 commits into from
Jan 11, 2019
Merged

Improve license_header tool by only traversing files under revision c… #13803

merged 2 commits into from
Jan 11, 2019

Commits on Jan 9, 2019

  1. Improve license_header tool by only traversing files under revision c… 

    …ontrol
    @larroy
    larroy committed Jan 9, 2019
    Configuration menu
    Copy the full SHA
    599b1cf View commit details
    Browse the repository at this point in the history

  2. use HEAD instead of master for CI

    @larroy
    larroy committed Jan 9, 2019
    Configuration menu
    Copy the full SHA
    cac7257 View commit details
    Browse the repository at this point in the history