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)
1  2 
ajpastor/dd_functions/ddFunction.py

Simple merge