| .. |
|
cgi.ml
|
62370f0af3
streamline local and remote actor profiles.
|
2 days ago |
|
dune
|
ffa3dd28ec
re-add the git sha to the version if built from a git wc. Or require GIT_SHA environment variable.
|
3 months ago |
|
gen_flags.sh
|
c2c3cc19d0
towards follow
|
11 months ago |
|
gen_version.sh
|
ffa3dd28ec
re-add the git sha to the version if built from a git wc. Or require GIT_SHA environment variable.
|
3 months ago |
|
seppo_bin.ml
|
8b3f9103b4
./seppo.cgi note uses a timezone.
|
2 months ago |
|
shell.ml
|
c816ecd757
job queue
|
2 weeks ago |
Marcus Rohrmoser
62370f0af3
streamline local and remote actor profiles.