diff make/Makefile @ 16472:83dce5b6cb41

Truffle: remove needless null check
author Andreas Woess <andreas.woess@jku.at>
date Thu, 10 Jul 2014 20:36:01 +0200
parents 942e4b7712e1
children b03a16cc5245
line wrap: on
line diff