-
Jakob Gabriel authored
Discrete.plus(): somehow I found a combination, for which plus didn't work... fixed it and created unittests
4def5cc9
Discrete.plus(): somehow I found a combination, for which plus didn't work... fixed it and created unittests