Hermann Kraus 822786e41c Remove no-text attribute. One can simply leave the text empty if one wants this.		2012-01-29 13:10:14 +01:00
..
python	Remove no-text attribute. One can simply leave the text empty if one wants this.	2012-01-29 13:10:14 +01:00