comparison src/text_german.inc @ 605:5ce603c29750

gas color coding fixed
author heinrichsweikamp
date Sun, 25 Nov 2018 13:21:52 +0100
parents ca4556fb60b9
children d866684249bd
comparison
equal deleted inserted replaced
604:ca4556fb60b9 605:5ce603c29750