diff src/text_english.inc @ 573:cf4395595d9b

docu update
author heinrichsweikamp
date Tue, 13 Feb 2018 14:55:43 +0100
parents b7eb98dbd800
children e6d5a1f02daf
line wrap: on
line diff