Skip to content

set executable bit of cpplint.py#433

Merged
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:make_cpplint_executable
Jan 13, 2017
Merged

set executable bit of cpplint.py#433
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:make_cpplint_executable

Commits

Commits on Jan 13, 2017