diff options
| author |  Christian Hesse <mail@eworm.de> | 2022-06-14 21:24:34 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2022-06-14 21:26:09 +0200 |
| commit | e9f00df290ca563ae44b66b41d0830ab2ce24252 (patch) | |
| tree | 411cf4c65c318bf619b08d92dc9f087c89713a9c /global-config-overlay | |
| parent | dafeeabdb44cd71e8f5d1bf396b9ffab3b97f220 (diff) | |
global-config-overlay: fix $GlobalConfigVersion...
Looks like I missed this in commit 5e481a768b4cea4534f5f775ce565a79cb1e3eb9.
😳
Diffstat (limited to 'global-config-overlay')
| -rw-r--r-- | global-config-overlay | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/global-config-overlay b/global-config-overlay index d5df364..48daf8e 100644 --- a/global-config-overlay +++ b/global-config-overlay @@ -8,7 +8,7 @@ # Make sure all configuration properties are up to date and this # value is in sync with value in script 'global-functions'! # Comment or remove to disable news and change notifications. -:global GlobalConfigVersion 79; +:global GlobalConfigVersion 80; # Copy configuration from global-config here and modify it. |