NorbiPeti 1292ce47c3 Improved nicknames (fixed color not resetting after name)		2015-09-08 21:23:33 +02:00
..
workbench.xmi	Improved nicknames (fixed color not resetting after name)	2015-09-08 21:23:33 +02:00