Closed Jasha10 closed 1 year ago
This PR adds to the INSTALL.md file, documenting the make uninstall-local recipe.
make uninstall-local
Thanks @Jasha10!
This PR adds to the INSTALL.md file, documenting the
make uninstall-local
recipe.