Closed cmaeder closed 8 years ago
rbuild is deprecated
This is fixed by https://github.com/KWARC/localmh/commit/accd7e80f9f97b6f97080e4a6c5eba12b03d84e9
rbuild is deprecated