[nodist] Added pre-commit hook
commitf740a44d7215a16f3c47f8267886152a1b62eb77
authorNicola Fontana <ntd@entidi.it>
Fri, 8 Jan 2010 18:50:04 +0000 (8 19:50 +0100)
committerNicola Fontana <ntd@entidi.it>
Fri, 8 Jan 2010 18:50:04 +0000 (8 19:50 +0100)
tree1d1613c6f339f05739773835ef7cd596cc56a8d4
parent8806e1b94120631908b7091ed2fc71d94c4bf345
[nodist] Added pre-commit hook

Put under git the standard pre-commit hook, useful to avoid committing
when trailing spaces are found in the code. This will give a convenient
place to refer the documentation.
nodist/pre-commit [new file with mode: 0755]