comparison java.header @ 9208:53cc5b496692

funcion replaced by interface
author gernotbelger
date Tue, 03 Jul 2018 11:16:51 +0200
parents 0862ea5d66ba
children
comparison
equal deleted inserted replaced
9207:559775e2f53c 9208:53cc5b496692

http://dive4elements.wald.intevation.org