beremiz

beremiz/util/
Removed dead code.

2019-07-10, Edouard Tisserant
063391cd313d