Andrew Gallagher b132aaabfb

Build docker image after updating debian/changelog so that the binary contains the correct release number

2022-06-26 13:59:03 +01:00

..

publish-docker.bash

Add script to publish docker image to Github.

2019-09-29 18:52:41 -05:00

release.bash

Build docker image after updating debian/changelog so that the binary contains the correct release number

2022-06-26 13:59:03 +01:00