The following commit has been merged in the master branch:
commit 0159025a14235ccba78b1d2adea5c75c4ab1d85e
Author: Ole Streicher
Date: Mon Jun 20 17:26:28 2016 +0200
Fix forgotten http --> https
diff --git a/webtools/check-all-tasks b/webtools/check-all-tasks
index
The following commit has been merged in the master branch:
commit 723025e324cfb3b6e6afcf05c8554cf5e0e8b1f7
Author: Andreas Tille
Date: Mon Jun 20 15:39:15 2016 +0200
Add cutadapt
diff --git a/tasks/bio b/tasks/bio
index b029b9d..11b947d 100644
--- a/tasks/bio
+++
The following commit has been merged in the master branch:
commit 0373c238987b76c1b7a6dc591cf250d7cfed5f88
Author: Ole Streicher
Date: Mon Jun 20 10:14:34 2016 +0200
Consequently use https:// urls in webtools
diff --git a/webtools/blendstasktools.py
The following commit has been merged in the master branch:
commit 3c0cbe3f97e5299127582a62f7488dd2c53709a6
Author: Andreas Tille
Date: Mon Jun 20 13:42:23 2016 +0200
Add segemehl
diff --git a/tasks/bio b/tasks/bio
index ceb52ff..b029b9d 100644
--- a/tasks/bio
+++
The following commit has been merged in the master branch:
commit 93f6b5be1b1a54cf5db54fc10da0cb405af4c4ef
Author: Ole Streicher
Date: Mon Jun 20 10:22:30 2016 +0200
Consequently use https:// in Debian Astro web pages
diff --git a/www/astro/contact.html