Commit f6332096 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

ignore

parent 9431f52a
...@@ -100,6 +100,7 @@ why.conf ...@@ -100,6 +100,7 @@ why.conf
# /share/ # /share/
/share/*.cm* /share/*.cm*
/share/*.annot /share/*.annot
/share/provers-detection-data.conf
# /share/emacs/ # /share/emacs/
/share/emacs/semantic.cache /share/emacs/semantic.cache
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment