mirror of
https://github.com/sharkdp/bat
synced 2026-06-26 12:53:17 +00:00
5e0b7f013a
There's no canonical definition of what's the INI syntax, but Python's `ConfigParser` supports comments after section headers: ```ini [section] ; comment ```