Niklas Sombert 5e0b7f013a Add support for comments after section headers (closes #1259) ... There's no canonical definition of what's the INI syntax, but Python's `ConfigParser` supports comments after section headers: ```ini [section] ; comment ```		2020-10-06 19:58:01 +02:00
..
01_Packages@759d6eed9b	Move syntaxes, fixes #874	2020-03-21 23:53:53 +01:00
02_Extra	Add support for comments after section headers (closes #1259)	2020-10-06 19:58:01 +02:00