Zachary Yedidia 6a1b8f4a4f Add option to clean unused settings and other parts of config		2020-02-02 15:30:06 -05:00
..
micro	Add option to clean unused settings and other parts of config	2020-02-02 15:30:06 -05:00