diff Makefile @ 237:048b7a4dc841

Minor fixes
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 10 Apr 2016 12:23:36 +0200
parents c0bf6157f67e
children adfe95c3cd73
line wrap: on
line diff