Commit graph

2 commits

Author SHA1 Message Date
Matthias Krack
4180bf53f7 Add timeout flag and allow for flags using make_pretty.sh
Using "make_pretty.sh -j 1 -t 2" is often more likely to work than increasing the (hardwired) timeout value
2026-02-27 20:42:16 +01:00
Ole Schütt
f0e2e694aa Add make_pretty.sh script 2025-12-18 15:49:46 +01:00