Closed huchenlei closed 1 year ago
Closes #26.
This PR makes new users have the toolbox configs by default.
Closes #26.
This PR makes new users have the toolbox configs by default.