]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2779 from behrmann/completion
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 24 Jul 2024 20:26:33 +0000 (22:26 +0200)
committerGitHub <noreply@github.com>
Wed, 24 Jul 2024 20:26:33 +0000 (22:26 +0200)
Shell completion

1  2 
mkosi/__init__.py
mkosi/config.py

Simple merge
diff --cc mkosi/config.py
Simple merge