diff Makefile @ 247:ea6fa9568515

remove obsolete file
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 26 Nov 2015 05:32:16 +0100
parents a34cb404cef3
children 3ce39af93e77
line wrap: on
line diff