From: Antonio Jimenez Pastor Date: Mon, 8 Jul 2019 14:46:29 +0000 (+0200) Subject: Revert "Update repository" X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=aa315a97a25e037699190893eb70e011bf41ffcb;p=ajpastor%2Fdiff_defined_functions.git Revert "Update repository" This reverts commit 16f872e5e2f8251d08871ad31739e2d90fc89ec0. --- diff --git a/releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip b/releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip deleted file mode 100644 index 44a31df..0000000 Binary files a/releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip and /dev/null differ