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)

No differences found