Peter Korsgaard dfc76fde1d ng-spice-rework: mark as deprecated ... It hasn't been updated since it got added (in 2008), and it doesn't build for me, so mark it as deprecated. Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2010-10-14 20:53:39 +02:00
..
Config.in	ng-spice-rework: mark as deprecated	2010-10-14 20:53:39 +02:00
ng-spice-rework-17-makeidx.patch	added ngspice-rework	2008-03-06 18:19:42 +00:00
ng-spice-rework.mk	packages: remove unneeded _INSTALL_TARGET_OPT definitions	2010-09-27 15:32:32 +02:00