Developement repository for MineDisc.