Makefile.minimal
changeset 10275 ba7dc3ebb81e
parent 7667 be1cc6f55840