Makefile.minimal
changeset 10211 2e4c1b2fce79
parent 7667 be1cc6f55840