Code

set executable bit of cpplint.py#433

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom mgudemann:make_cpplint_executablemgudemann/cbmc:make_cpplint_executableCopy head branch name to clipboardJan 13, 2017

Commits

Commits on Jan 13, 2017

• set executable bit of cpplint.py

  mgudemann

  committed
  21ae761

  Copy full SHA for 21ae761