simple tool to find out about possible issues in the partial repos
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:03:18 +0000 (10:03 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:03:18 +0000 (10:03 +0100)
commit5cfe6aec57dda30e3643def18cb3c259bb54860c
treef5ff0906e042e70fe7e527846ea4bb285ecf20f9
parent39a06704d35f76e195bc79c11443d09125726a72
simple tool to find out about possible issues in the partial repos
partial-check.sh [new file with mode: 0755]