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