refresh apt repos if needed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 21 Jan 2013 09:18:35 +0000 (10:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 21 Jan 2013 09:18:35 +0000 (10:18 +0100)
commitda22f5036fad63f4c1872c27b083ef8db905b6be
tree685d236e15c04e9e7082e7b6d13b8982e49b914d
parent02b489eb82c23309c08684879b642c49d7d34578
refresh apt repos if needed
scripts/sfa-reindex-debian.sh [new file with mode: 0644]