Drop obsolete packages lists

diff --git a/jenkins/packages.backports.stretch b/jenkins/packages.backports.stretch
deleted file mode 100644 (file)
index 87707ea..0000000
--- a/jenkins/packages.backports.stretch
+++ /dev/null
@@ -1 +0,0 @@
-cgal

diff --git a/jenkins/packages.backports.xenial b/jenkins/packages.backports.xenial
deleted file mode 100644 (file)
index 812c996..0000000
--- a/jenkins/packages.backports.xenial
+++ /dev/null
@@ -1,5 +0,0 @@
-flask-babelex
-flask-compress
-flask-login
-flask-mail
-sshtunnel