DavHau 358c26fd13 fetchTree: shallow git fetching by default ... Motivation: make git fetching more efficient for most repos by default		2024-02-28 13:27:22 +07:00
..
internal-api	Simplify RapidCheck configure	2024-01-15 08:05:05 -05:00
manual	fetchTree: shallow git fetching by default	2024-02-28 13:27:22 +07:00