Eugen Wissner 278e851414 Rename String.toString to String.get() ... Last changed it only by the Range and forgotten about the string itself.		2017-06-08 07:59:16 +02:00
..
tanya	Rename String.toString to String.get()	2017-06-08 07:59:16 +02:00