Dario Nieuwenhuis 9e844dc5ac prevent "fatal: gc is already running" errors

2024-02-01 18:27:05 +01:00

..

build.sh

prevent "fatal: gc is already running" errors

2024-02-01 18:27:05 +01:00

doc.sh

Build docs with more threads.

2023-06-28 18:05:13 +02:00

generated.sh

quiet clones

2023-11-05 17:05:25 -06:00