Juan RP a17ba41e17 binpkg-genindex.sh: be sure there are binpkgs before starting.
--HG--
extra : convert_revision : 451c8924fdd71dfc020cf5a4f068d564b66de981
2008-12-18 11:40:56 +01:00
..
2008-10-29 03:38:19 +01:00