diff .hgignore @ 3069:766384d0ed7a

client: identify tool: removed distinct enable flag, identify is enabled as long as no other tools are active
author Markus Kottlaender <markus@intevation.de>
date Wed, 17 Apr 2019 10:11:40 +0200
parents 518cea19f6b4
children e53ff5bcc020
line wrap: on
line diff