diff Makefile @ 26:676f9f69ee85

add a reply describing the workaround
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 15 Feb 2014 16:53:58 +0100
parents 3b69622879c9
children 6dc02dba2c17
line wrap: on
line diff