mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fixed .gitignore
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
051e84de20
commit
6c11a78e61
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -6,6 +6,7 @@
|
|||
*.cma
|
||||
*.cmi
|
||||
*.cmxa
|
||||
ocamlz3
|
||||
# Emacs temp files
|
||||
\#*\#
|
||||
# Directories with generated code and documentation
|
||||
|
@ -23,7 +24,7 @@ src/HTML/*
|
|||
src/cscope.in.out
|
||||
src/cscope.out
|
||||
src/cscope.po.out
|
||||
ncsope.out
|
||||
ncscope.out
|
||||
# CEDET files
|
||||
.cproject
|
||||
.project
|
||||
|
|
Loading…
Reference in a new issue