commit 943578f5d82c7ef5fa5fc532a8a45f2e7cf1497c parent 0976eae933d3ecc54bd17061b8a847f980fda669 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 10 Mar 2015 20:42:22 +0100 chktex Diffstat:
chktex | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/chktex b/chktex @@ -0,0 +1,5 @@ +#!/bin/bash + +# mute a warning +exec /usr/bin/chktex -n24 "$@" +