wok-current diff beaver/stuff/beaver.conf.default @ rev 21911

updated sip and sip-dev (4.16.6 -> 4.19.19)
author Hans-G?nter Theisgen
date Fri Oct 04 16:23:53 2019 +0100 (2019-10-04)
parents e1a68e5d0646
children
line diff
     1.1 --- a/beaver/stuff/beaver.conf.default	Thu Jan 21 23:14:05 2010 +0100
     1.2 +++ b/beaver/stuff/beaver.conf.default	Fri Oct 04 16:23:53 2019 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  LabelLength=12
     1.5  
     1.6  [Editor]
     1.7 -Font=Sans 9
     1.8 +Font=Sans 11
     1.9  BGRed=65535
    1.10  BGBlue=65535
    1.11  BGGreen=65535