# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1556907605 -7200
# Node ID 70c4f81ac58cc1543ff4a9ee749d9757fe669c5f
# Parent  46c7d872db83aeeab7814af6285e0f8ade249fb2
FIX: Docu: Case-sensitivety of filename extension matching depends on the OS now

diff -r 46c7d872db83 -r 70c4f81ac58c doc/introduction.rst
--- a/doc/introduction.rst	Fri May 03 20:04:40 2019 +0200
+++ b/doc/introduction.rst	Fri May 03 20:20:05 2019 +0200
@@ -158,7 +158,7 @@
 
 
 By default filenames of the configuration files must have the extensions
-(case-insensitively):
+(case-sensitivety depends on your OS):
 
   ``.ini``
     for INI configuration files