mirror of
https://github.com/sharkdp/bat.git
synced 2025-05-30 06:28:52 +02:00
There's no canonical definition of what's the INI syntax, but Python's `ConfigParser` supports comments after section headers: ```ini [section] ; comment ```