diff Makefile @ 12579:1c0e23f573a2

Sync with website, more uniformity, better descriptions.
author diego
date Sun, 13 Jun 2004 17:47:41 +0000
parents ae4ae7ab636c
children e7c4f5d539e9
line wrap: on
line diff