diff .hgignore @ 597:66334c6adcf6

BUGFIX: "lost gas" was re-activated in rare cases
author heinrichsweikamp
date Sun, 08 Jul 2018 12:22:20 +0200
parents 7d9edd3b8c86
children
line wrap: on
line diff