diff Makefile @ 24476:b42dd327f81f

Another piece of duplicate code
author reimar
date Fri, 14 Sep 2007 19:34:17 +0000
parents 6b0e5503ca7a
children 8133163bd1dd
line wrap: on
line diff