diff Makefile @ 19083:5660be9dfd64

remove useless comment
author ivo
date Fri, 14 Jul 2006 21:38:20 +0000
parents 5da674b26ce1
children 1ea5c31932fd
line wrap: on
line diff