diff options
author | Andres Erbsen <andreser@google.com> | 2017-12-15 14:00:14 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@google.com> | 2017-12-15 14:01:22 -0500 |
commit | 79145fa0c7b554112f44a4fefc19615d06e83d8c (patch) | |
tree | afdc327731b0645b6a34a5ec81df75a4cde28dcd /.gitignore | |
parent | daac074e883e39a7ee63a93d4943c2636cbd991e (diff) |
organize .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 6fe714950..d2d6c5daf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,13 +1,29 @@ -*# +# vim +[._]*.s[a-v][a-z] +[._]*.sw[a-p] +[._]s[a-v][a-z] +[._]sw[a-p] + +# emacs +*~ +\#*\# +/.emacs.desktop +/.emacs.desktop.lock +*.elc +auto-save-list +tramp +.\#* + +# coq *.aux *.d *.glob *.vio *.vo -*~ -.#* +CoqMakefile.conf Makefile.bak Makefile.coq +Makefile.coq.conf Makefile.coq.bak Makefile-old.conf csdp.cache @@ -20,6 +36,7 @@ nra.cache .nlia.cache .nia.cache .nra.cache + /remake_curves.log # compilation outputs |