Dont write version header by default

This commit is contained in:
Dominik Schürmann
2014-08-14 11:44:47 +02:00
parent f941431d63
commit d0987edab9
18 changed files with 62 additions and 45 deletions