Chris Lee cb137674e4 fix ci script

2018-08-05 09:35:28 +00:00

..

debian

Use correct whitespace in debian/rules (makefile)

2017-10-15 20:48:28 +02:00

make_ubuntu.sh

packaging

2018-01-19 23:23:59 +00:00

update_version_status.sh

Add a timeout to the version checker script

2017-12-31 09:20:15 +00:00

version_status_test.py

Add packaging version check script

2017-08-28 16:02:56 +02:00

version_status.py

fix ci script

2018-08-05 09:35:28 +00:00