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)
commitaa315a97a25e037699190893eb70e011bf41ffcb
tree30269d48fe48be698cafac5e86d6899bb95931bb
parent10e2f2e55f32cbca18d6f56d2a110f61a861d89f
Revert "Update repository"

This reverts commit 16f872e5e2f8251d08871ad31739e2d90fc89ec0.
releases/old/diff_defined_functions__0.6__19.04.23_16:11:17.zip [deleted file]