actors: Switch random-number-size to be 2^128.
[8sync.git] / env.in
2015-11-22 Christopher Allan... Adding automake stuff