Michael Raskin d9c76736cc octave: fix overridePlatforms (was just platforms) name collision, thanks to @bjornfor for catching

2016-09-06 19:57:06 +02:00

..

default.nix

octave: fix overridePlatforms (was just platforms) name collision, thanks to @bjornfor for catching

2016-09-06 19:57:06 +02:00