Commit 63dc4442 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

create an empty .keepme file in bin/ to store it with git

parent 31a901f7
......@@ -2,6 +2,8 @@
*.svn
.*.swp
.why.conf
why.conf
.authors
# /
/config.status
......@@ -35,10 +37,12 @@
/bin/whyide.opt
/bin/why-cpulimit
/bin/why3-cpulimit
/bin/manager.byte
/bin/manager.opt
/bin/tptp2why.byte
/bin/tptp2why.opt
/bin/whyconfig.byte
/bin/whyconfig.opt
/bin/whydb.byte
/bin/whydb.opt
/bin/whytptp.byte
/bin/whytptp.opt
# /doc/
/doc/version.tex
......
Markdown is supported
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