diff Makefile @ 590:d6ff27532fdd

applied Alex Elide's tricky patch, thanks!
author arg@mig29
date Mon, 27 Nov 2006 17:51:50 +0100
parents 96d09fd98e89
children e90bf387bf6f
line wrap: on
line diff