projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Make remake change to the directory where ./remake (and the Remakefile) are.
[tatoo.git]
/
.gitignore
1
*.cm*
2
*.o
3
*.native
4
*.byte
5
tests/*.results/*_tatoo*
6
*.class
7
tests/trace/*.html
8
tests/trace/*.dot
9
tests/trace/*.svg
10
configure
11
config.status
12
Remakefile
13
autom4te.cache
14
config.log
15
remake
16
.remake
17
src/xpath/xpath_internal_parser.ml
18
src/xpath/xpath_internal_parser.mli
19