diff Makefile @ 25458:535b528a7242

Remove a check that is never in any way useful
author reimar
date Fri, 21 Dec 2007 11:53:55 +0000
parents ae7399c268fe
children 7ab58f012dd3
line wrap: on
line diff