Closed amstilp closed 5 years ago
Clean up some hidden files that were accidentally added and update gitignore to ignore them in the future.
Clean up some hidden files that were accidentally added and update gitignore to ignore them in the future.