diff .hgtags @ 209:b593e57b82a5

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