diff Makefile @ 31843:eb85092953c6

Remove an unused variable.
author reimar
date Wed, 04 Aug 2010 12:23:22 +0000
parents dcd515ac5f6c
children e64df5862cea
line wrap: on
line diff