diff Makefile @ 12586:a900f5b7ab81

More consistent naming pointed out by Torinthiel.
author diego
date Mon, 14 Jun 2004 12:40:17 +0000
parents ae4ae7ab636c
children e7c4f5d539e9
line wrap: on
line diff