dfc76fde1d
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> |
||
---|---|---|
.. | ||
Config.in | ||
ng-spice-rework-17-makeidx.patch | ||
ng-spice-rework.mk |