John Voltz 143b049cce make ng-spice use the proper header directory		2008-04-24 16:52:16 +00:00
..
Config.in	added ngspice-rework	2008-03-06 18:19:42 +00:00
ng-spice-rework-17-makeidx.patch	added ngspice-rework	2008-03-06 18:19:42 +00:00
ng-spice-rework.mk	make ng-spice use the proper header directory	2008-04-24 16:52:16 +00:00