repo.or.cz
/
pachi
/
nmclean.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Change default time settings from -t =80000 to -t 15
[pachi/nmclean.git]
/
.gitignore
blob
0828443f650a46eb4ffedcd66d05f3cc6b989274
1
.deps
2
.*.swp
3
*.o
4
*.a
5
pachi
6
tags
7
book.dat
8
patterns.prob
9
patterns.spat