diff configmix/variables.py @ 141:647782859ae1

An extra hint that filename extension comparisons for loader lookup are case-insensitive
author Franz Glasner <hg@dom66.de>
date Sat, 07 Apr 2018 09:24:20 +0200
parents b35837427a7a
children e2e8d21b4122
line wrap: on
line diff