From 34de093c867f34fc32d30966ae01e28e9bc90621 Mon Sep 17 00:00:00 2001 From: Steffen Holzer Date: Fri, 21 Apr 2017 15:19:44 +0200 Subject: [PATCH] #120 removed old and unused redirects --- docs/oomph/projects/OASP4JIDE.setup | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/oomph/projects/OASP4JIDE.setup b/docs/oomph/projects/OASP4JIDE.setup index 4782042..435eb52 100644 --- a/docs/oomph/projects/OASP4JIDE.setup +++ b/docs/oomph/projects/OASP4JIDE.setup @@ -46,14 +46,6 @@ remoteURI="${github.remoteURIs.oasp4jide}" pushURI="https://github.com/oasp/oasp4j-ide"/> - - -