3a856ef57b
*.ini files traditionally use ; but for example the "foot" terminal's foot.ini uses #. Add a hack to treat ini files as "conf" filetype if they contain a #-comment (very slim chance of false positives). This requires to explicitly set comment_line to the default #, because we set the "ini" filetype earlier. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |