diff ChangeLog @ 209:b593e57b82a5

- manual fix, removed platform from overview that never existed
author Tassilo Philipp
date Tue, 28 Mar 2017 15:17:50 +0200
parents 7b87876d0d5c
children 0592eb360af2
line wrap: on
line diff