mathlib3

5d52ea42 - chore(.gitignore): gitignore for emacs temp files (#4699)

chore(.gitignore): gitignore for emacs temp files (#4699) Emacs backup files end in `~`, and you don't want them in the repo. Just makes things mildly easier for emacs users if that pattern is in the gitignore.