[pageheader] code cleanup

pull/816/head
Philipp Holzer 2019-02-26 15:47:58 +01:00
parent 979f12e51e
commit 8e902c2fe0
No known key found for this signature in database
GPG Key ID: 517BE60E2CE5C8A5
1 changed files with 2 additions and 2 deletions