diff CHANGES.txt @ 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 46c7d872db83
children 28e6c1413947
line wrap: on
line diff