tree 048d2644fd0c88c0ed50bbec9a73c6a6d057430a
parent 87704b773654470508de1dc9570914cad168ccf9
author Thomas Wolf <thomas.wolf@paranor.ch> 1621095952 +0200
committer Thomas Wolf <thomas.wolf@paranor.ch> 1621233101 +0200

SSH config: fix whitespace handling

Use Character.isWhitespace() instead of Character.isSpaceChar() to
treat TABs as whitespace, too.

Change-Id: Iffc59c13357d981ede6a1e0feb6ea6ff03fb3064
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>