diff Makefile @ 14198:8f11fd321014

commands: use util.Abort's hint some more
author Martin Geisler <mg@aragost.com>
date Thu, 05 May 2011 14:57:21 +0200
parents 1a919c3271bf
children f6b3b346d80c
line wrap: on
line diff