Welcome to mirror list, hosted at ThFree Co, Russian Federation.

dev.gajim.org/gajim/gajim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/dev/generate_ui_types.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev/generate_ui_types.py b/scripts/dev/generate_ui_types.py
index 7b82925fa..12aed7f82 100755
--- a/scripts/dev/generate_ui_types.py
+++ b/scripts/dev/generate_ui_types.py
@@ -16,6 +16,7 @@ in_path = cwd / 'gajim' / 'data' / 'gui'
out_path = cwd / 'gajim' / 'gtk' / 'builder.pyi'
paths = list(in_path.iterdir())
+paths.sort()
IMPORTS = '''
from typing import Literal