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