Code

Travis reconfig#361

Code

Merged

peterschrammel merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:travis-reconfigtautschnig/cbmc:travis-reconfigCopy head branch name to clipboard

Dec 18, 2016

Commits

Commits on Dec 18, 2016

• Do not try to run cpplint if no files have changed

  

  peterschrammel

  authored and

  tautschnig

  committed
  1994969

  Copy full SHA for 1994969

• travis cleanup: no need for install target

  Show description for 74afa68
  tautschnig

  committed
  74afa68

  Copy full SHA for 74afa68