[19:20] <UbuPhillup> hi DrJo
[19:20] <DrJo> Hi UbuPhillup
[19:24] <DrJo> Wo finde ich eine Anleitung zum Umgang mit den <gui>...</gui> und anderen Tags?
[19:25] <UbuPhillup> einfach so lassen wie sie sind
[19:26] <UbuPhillup> hier steht was https://wiki.gnome.org/de/Uebersetzung/Dokumentationen
[19:27] <DrJo> Merci!
[19:28] <UbuPhillup> DrJo: https://wiki.gnome.org/de/UebersetzungsRichtlinien das ist noch viel besser