diff Makefile @ 17416:7de54f5d786d

Put settings into a more meaningful order, some cosmetics.
author diego
date Tue, 17 Jan 2006 00:36:52 +0000
parents b0b5eefdb952
children bfb5ba831aed
line wrap: on
line diff