diff options
author | James Carter <james.carter@bytemark.co.uk> | 2017-08-01 15:56:35 +0100 |
---|---|---|
committer | James Carter <james.carter@bytemark.co.uk> | 2017-08-01 15:56:35 +0100 |
commit | 4eff930c3f01414bb454d7bcb5501827cb60289b (patch) | |
tree | a398edd68c7fd30cf3987538e41e9b4df9f561b8 /debian/compat | |
parent | 0be1fa0ebadf9435a760582d17f47ff96dc0851c (diff) | |
parent | 814ed65fd415cc62b2f6f661a7f6d1629562544b (diff) |
Merge branch '27-package-and-publish-in-gitlab-ci-retire-maker2-job' into 'develop'
Added CI
Closes #27
See merge request !2
Diffstat (limited to 'debian/compat')
-rw-r--r-- | debian/compat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/compat b/debian/compat new file mode 100644 index 0000000..ec63514 --- /dev/null +++ b/debian/compat @@ -0,0 +1 @@ +9 |