Ben Gamari 537b0ac9be ngspice: 29 -> 30 ... Just a simple bump.		2019-01-03 16:16:51 -05:00
..
default.nix	ngspice: 29 -> 30	2019-01-03 16:16:51 -05:00