Open paulproteus opened 10 years ago
The git repository has a few "backup files" in it, which aren't really needed since git takes care of this sort of thing.
You might notice that they end in a tilde, or ~
Someone should use "git rm" to remove them, so that the repository is tidier. (And then submit a pull request!)
I can remove these
The git repository has a few "backup files" in it, which aren't really needed since git takes care of this sort of thing.
You might notice that they end in a tilde, or ~
Someone should use "git rm" to remove them, so that the repository is tidier. (And then submit a pull request!)