diff Makefile @ 14247:c9720ada999c

progress: remove useless statement left by bab267e7fc1a
author Patrick Mezard <pmezard@gmail.com>
date Sat, 07 May 2011 17:25:12 +0200
parents 1a919c3271bf
children f6b3b346d80c
line wrap: on
line diff