annotate doc/_static/_dummy @ 193:70c4f81ac58c

FIX: Docu: Case-sensitivety of filename extension matching depends on the OS now
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 03 May 2019 20:20:05 +0200
parents 7a83dbaa046b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source