git: less verbose pre-commit-texcheck
authorStefan Huber <shuber@sthu.org>
Mon, 13 Jan 2014 18:50:41 +0000 (19:50 +0100)
committerStefan Huber <shuber@sthu.org>
Mon, 13 Jan 2014 18:50:41 +0000 (19:50 +0100)
commit2c35db1c383233da416e9ae1c15e57d9b655235f
treef6c601e692a7839d350424eaa8f3881e416af807
parentbf071c211651c1e81d6e8a91ddd9234ba80a4986
git: less verbose pre-commit-texcheck
git/pre-commit-texcheck