Make the pre-commit hook report non-temporary path names#477

Merged

peterschrammel merged 1 commit intodiffblue:masterfrom

tautschnig:lint-hook

Feb 2, 2017

Commits on Jan 27, 2017

Make the pre-commit hook report non-temporary path names
tautschnig
committed