git.annexia.org
/
goaljobs.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Implement goalloc.
-rw-r--r--
155
.depend
blob
|
history
|
raw
-rw-r--r--
376
.gitignore
blob
|
history
|
raw
-rw-r--r--
17987
COPYING
blob
|
history
|
raw
-rw-r--r--
504
META.in
blob
|
history
|
raw
-rw-r--r--
3575
Makefile.am
blob
|
history
|
raw
-rw-r--r--
2615
NOTES
blob
|
history
|
raw
-rw-r--r--
573
README
blob
|
history
|
raw
-rw-r--r--
834
TODO
blob
|
history
|
raw
-rw-r--r--
1262
common-rules.mk
blob
|
history
|
raw
-rw-r--r--
3540
configure.ac
blob
|
history
|
raw
drwxr-xr-x
-
examples
tree
|
history
-rwxr-xr-x
3780
goaljobs
blob
|
history
|
raw
-rw-r--r--
12691
goaljobs-reference.pod
blob
|
history
|
raw
-rw-r--r--
17659
goaljobs.ml
blob
|
history
|
raw
-rw-r--r--
11991
goaljobs.mli
blob
|
history
|
raw
-rw-r--r--
3274
goaljobs.pod
blob
|
history
|
raw
-rw-r--r--
2141
goaljobs.spec.in
blob
|
history
|
raw
-rw-r--r--
893
goaljobs_config.ml.in
blob
|
history
|
raw
drwxr-xr-x
-
html
tree
|
history
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
6357
pa_goal.ml
blob
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history