Skip to content

Remove debian packaging and CI job

Michael Grattonrequested to merge
wip/remove-debian-packaging into master

Now that the PPA is being deprecated, we don't need this in the tree any more.

Fixes #270 (closed)

Merge request reports