diff AUTHORS @ 209:b593e57b82a5

- manual fix, removed platform from overview that never existed
author Tassilo Philipp
date Tue, 28 Mar 2017 15:17:50 +0200
parents 3e629dc19168
children 451299d50c1a
line wrap: on
line diff