+--------------------------------------------------------------------------+ | NGSPICE PATCHES DIRECTORY | | code not included in the source | +--------------------------------------------------------------------------+ This directory contains code contributed by developers or user of ngspice not included in the main source. Index: