header improvement, fix #539

This commit is contained in:
2019-12-03 12:03:01 +01:00
parent a3f3c1e960
commit af35857e79
2 changed files with 21 additions and 5 deletions
File diff suppressed because one or more lines are too long