index
:
zzz--oldstuff/gol.git
master
Unnamed repository; edit this file 'description' to name the repository.
root
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
mpi
Mode
Name
Size
-rw-r--r--
Makefile
574
log
plain
d---------
build
38
log
plain
-rwxr-xr-x
gol
18376
log
plain
d---------
include
109
log
plain
d---------
output
38
log
plain
d---------
src
143
log
plain
d---------
timing-study
3166
log
plain