annotate doc/_static/_dummy @ 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 7a83dbaa046b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source