diff Makefile @ 4412:14de1ea7000b

AFDepths: fix comparison
author Thomas Junk <thomas.junk@intevation.de>
date Tue, 17 Sep 2019 17:05:14 +0200
parents f7a32b0b9235
children 707450608829
line wrap: on
line diff