diff make/pic.make @ 5473:c73882b7db10

runtime may be null in the canonicalizer (like target or assumptions)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 31 May 2012 17:57:21 +0200
parents c18cbe5936b8
children 06320b1578cb
line wrap: on
line diff