Andrew Scheller 967cbc5c3d
Fixup PICO_CONFIG entries (#208)
* remove default=undefined
 * fix a couple of typos / syntax "errors"
 * perform even better default-value-checking in extract_configs.py
2021-03-02 15:37:46 -06:00
..
2021-03-02 15:37:46 -06:00
2021-02-25 11:01:01 -06:00
2021-01-28 11:00:27 -06:00
2021-01-20 10:44:27 -06:00
2021-01-20 10:44:27 -06:00
2021-01-20 10:44:27 -06:00
2021-01-20 10:44:27 -06:00