From 0aeb0855cf7cd7dfd139a1dbd3e50954b0d564f6 Mon Sep 17 00:00:00 2001
From: teto
Date: Sat, 12 Aug 2023 15:22:04 +0000
Subject: [PATCH] deploy: 255f921049df8d45fb5afa2529b79106edbd8301
---
options.html | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/options.html b/options.html
index 01837c34..0b3a3ee0 100644
--- a/options.html
+++ b/options.html
@@ -6316,7 +6316,8 @@ boolean
Default:
true
Declared by:
programs.khal.locale
khal locale settings.
Type:
-submodule
Declared by: