Implement 'mclu destroy' command.
[mclu.git] / template.mli
2015-03-19 Richard W.M. Jonesmclu version 2