Modify Travis to only run the linter on modified lines#405
Merged
kroening merged 2 commits intodiffblue:masterfrom Jan 10, 2017
Merged
Modify Travis to only run the linter on modified lines#405kroening merged 2 commits intodiffblue:masterfrom
kroening merged 2 commits intodiffblue:masterfrom
Commits
Commits on Jan 10, 2017
- committed
thk123 - committedthk123