1.1 --- a/.hgignore	Wed Apr 07 21:33:01 2021 +0200
     1.2 +++ b/.hgignore	Mon Mar 22 14:47:06 2021 +0100
     1.3 @@ -13,8 +13,6 @@
     1.4  src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
     1.5  src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
     1.6  
     1.7 -etc/settings                        #does NOT work !?!
     1.8 -
     1.9  syntax: regexp
    1.10  
    1.11  #cygwin: requires different 'components' and 'settings'--------\