Commit 6e45c83c115f9daae7bff2c42e3770857543a7ff

Pierre Le Marre 2025-09-24T20:30:40

tools: Add option to disable pretty-printing