Merge branch 'master' of gitserver:pub/ajpastor/diff_defined_functions
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Wed, 10 Jul 2019 08:37:45 +0000 (10:37 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Wed, 10 Jul 2019 08:37:45 +0000 (10:37 +0200)
commitd1f6ae1bbb82ce664104eab266cb133743cd19b4
treeef17d2ef76fe341e4c36a142c7a53bd7f04ff3e9
parentabfc8675dab6bc20c04c8ed69af59a80950df00e
parent9977a57befcb7acc491438317ea26b9d52e1d980
Merge branch 'master' of gitserver:pub/ajpastor/diff_defined_functions
ajpastor/dd_functions/ddFunction.py