Michael Vines 5716898216 setup.sh can now be more picky about the kind of config it creates

2018-07-02 09:22:26 -07:00

..

configure

setup.sh can now be more picky about the kind of config it creates

2018-07-02 09:22:26 -07:00