jsteemann a2411488ae remove unused files (with long filenames that produce problems on Windows checkouts)		2017-05-08 10:46:07 +02:00
..
dot.gif	…
minus.gif	…
plus.gif	…
profile1.txt	…
profile2.txt	…
profile3.txt	…