feat(users/Profpatsch/MyPrelude): add Pretty module

Change-Id: Id774963178ba358447699d0297a6a1fbef5ac8fe
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11240
Autosubmit: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
This commit is contained in:
Profpatsch 2024-03-23 05:34:13 +01:00 committed by clbot
parent 72db9eb210
commit 0b78998509
7 changed files with 115 additions and 4 deletions

View file

@ -79,7 +79,6 @@ executable mailbox-org
my-prelude,
pa-prelude,
pa-label,
pa-pretty,
pa-error-tree,
exec-helpers,
netencode,