Fixed restoration of the panel divider position.
[psensor.git] / scripts / check.sh
2014-09-29 Jean-Philippe OrsiniMerge branch 'v1.1'
2014-09-29 Jean-Philippe Orsinistop on failures
2014-09-25 Jean-Philippe Orsinifail on warning
2014-09-25 Jean-Philippe Orsiniverify distrib build
2014-09-24 Jean-Philippe Orsiniimproving checking and avoid false/positive
2014-09-24 Jean-Philippe Orsiniignore issues itself which does not concern psensor...