mro/seppo

Marcus Rohrmoser 095e19885b towards bulk activities.		1 week ago
..
cgi.ml	095e19885b towards bulk activities.	1 week ago
dune	69d1c0d5fc isolate mcdb package.	1 month ago
gen_flags.sh	c2c3cc19d0 towards follow	1 year 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.	1 year ago
index.mld	4c4982de12 doc++	3 weeks ago
seppo_bin.ml	2f82939a16 enable queue processing trigger via cron.	2 weeks ago
shell.ml	15cc5f023a mini	1 week ago