git://git.onelab.eu / infrastructure.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ec0f89) | patch
no more egrep
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Nov 2023 09:23:52 +0000 (10:23 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 4 Nov 2023 09:23:52 +0000 (10:23 +0100)
commit3cf819ae7f505346f980353a67456d432dcb3420
treef81032bddeb9c3f8e0c8430150f87a401485d66ctree | snapshot
parent2ec0f89573e9995ad3540c7293abef0820dd7443commit | diff
no more egrep
scripts/trash/zombie-vservers.sh diff | blob | history
infrastructure