no more egrep
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Nov 2023 09:22:32 +0000 (10:22 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Nov 2023 09:22:32 +0000 (10:22 +0100)
commit139959af774cdf79520850293c4060c1d4f94f66
tree7d9722da347c28d7dc8b6bd8f0a1c57380c04f63
parentae04d055cb95f6a059979e2ea832eb85ef84b9a6
no more egrep
partial-repo.sh