diff make/defs.make @ 13684:72f85504e79e

Use .equals instead of == to compare Constant
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 17 Jan 2014 23:16:59 +0100
parents 096c224171c4
children d8041d695d19
line wrap: on
line diff