diff doc/introduction.rst @ 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 3d273eb13565
children 0d8dd58afc44
line wrap: on
line diff
--- 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