Clone of official tools

export/gnuarmeclipse/__init__.py/shortlog@7d3fa6b99b2b: not found in manifest