<@U0BTF2L76>: if you want to remove any `.` from t...

# android

[Andreas Sinz]

@nickst: if you want to remove any . from the start, you could use string.trimStart { it == "." }