From 04ac82d3e2e768f9d354013614000f7e7feb43f4 Mon Sep 17 00:00:00 2001 From: Thomas Waldmann Date: Wed, 7 Oct 2015 15:41:17 +0200 Subject: [PATCH] do binary releases via "github releases", closes #214 --- docs/_themes/local/sidebarusefullinks.html | 2 +- docs/installation.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_themes/local/sidebarusefullinks.html b/docs/_themes/local/sidebarusefullinks.html index 47de85364..a311fe558 100644 --- a/docs/_themes/local/sidebarusefullinks.html +++ b/docs/_themes/local/sidebarusefullinks.html @@ -4,8 +4,8 @@

Useful Links