lukaseder 1ed96d2f18 [#5754] Remove copyright (and dates) from file headers		2017-01-02 17:14:26 +01:00
..
main	[#5754] Remove copyright (and dates) from file headers	2017-01-02 17:14:26 +01:00