Makefile.minimal
changeset 7924 fcb86d323770
parent 7667 be1cc6f55840