Closed nathanhwangbo closed 4 years ago
In the first PR (#109), one of the changes we made was to shorten the default directory name. Here, we revert that change to make the transition easier for existing users.
thanks!
In the first PR (#109), one of the changes we made was to shorten the default directory name. Here, we revert that change to make the transition easier for existing users.