diff doc/conf.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 d51a18e5b0e3
children 28164259aa83
line wrap: on
line diff