Tino Rachui e28395ae8b #89230#remove code for stripping tilde signs from label strings		2001-08-10 11:28:56 +00:00
..
win32	#89230#remove code for stripping tilde signs from label strings	2001-08-10 11:28:56 +00:00