]> git.ipfire.org Git - thirdparty/mkosi.git/commit
mkosi: boldify section header and important values in summary 1444/head
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sun, 16 Apr 2023 17:33:06 +0000 (19:33 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 17 Apr 2023 08:29:54 +0000 (10:29 +0200)
commitf2502ff0cc90664289d3c5d720b2696f8a9c1f8e
tree315871943e95cff48d97d4fcf0ddd859c0d57fca
parent078f7de19fd17c78d3c64fdbdeabe0db4c5977dc
mkosi: boldify section header and important values in summary
mkosi/__init__.py