projects / ajpastor / diff_defined_functions.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 10e2f2e)
Revert "Update repository"
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Mon, 8 Jul 2019 14:46:29 +0000 (16:46 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Mon, 8 Jul 2019 14:46:29 +0000 (16:46 +0200)
This reverts commit 16f872e5e2f8251d08871ad31739e2d90fc89ec0.

releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip [deleted file] patch | blob | history

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 (file)
index 44a31df..0000000
Binary files a/releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip and /dev/null differ