Merge branch 'master' of ssh://wpitchoune.net/srv/git/psensor
[psensor.git] / scripts / smatch.sh
2013-04-20 Jean-Philippe Orsiniscript to run smatch