diff Makefile @ 12715:e274b6133b2e

better -really-quiet description
author diego
date Mon, 28 Jun 2004 14:19:38 +0000
parents 51d61721906b
children b0060a6c4768
line wrap: on
line diff