added missing header file
[psensor.git] / scripts / check.sh
2014-09-24 Jean-Philippe Orsiniignore issues itself which does not concern psensor...