Am Montag, dem 28.12.2020 um 11:26 +0000 schrieb [email protected]: > Es gab hierüber schonmal eine Diskussion über die »symbolischen > Symbole«, damals hatten wir uns auf »stilisierte Symbole« geeinigt > [1], so findet sich das jetzt auch in der Benutzerdokumentation [2]. > Könntest du das vielleicht ändern? > > @Christian: Könnten wir das vielleicht auch noch ins Wörterbuch > aufnehmen?
Guter Punkt, habe ich mit aufgenommen. -- <[email protected]> _______________________________________________ gnome-de mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-de
