git.annexia.org / mclu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ensure Random.self_init() is called.
[mclu.git] / mclu_boot.mli
2015-03-19 Richard W.M. Jonesmclu version 2 blob | commitdiff
Mini cloud (was mini-cluster), a very simple cloud manager.