moved to gitlab
[psensor.git] / scripts / smatch.sh
2018-10-19 Jean-Philippe Orsinimoved to gitlab master
2013-04-20 Jean-Philippe Orsiniscript to run smatch