diff Makefile @ 24646:18dd1970d050

Remove useless comment.
author diego
date Sat, 29 Sep 2007 22:09:31 +0000
parents 6b0e5503ca7a
children 8133163bd1dd
line wrap: on
line diff