diff src/text_german.inc @ 138:2852b0bd6391

minor: some extra protection against wrong gas selection
author heinrichsweikamp
date Thu, 17 Jul 2014 14:34:10 +0200
parents 9a637c9bb19a
children b839972db982
line wrap: on
line diff