-
Committer:
Christoph Korn
-
Date:
2015-09-22 19:43:19 UTC
-
Revision ID:
christoph.korn@posteo.de-20150922194319-nk5g0g81h86pdxju
bin/extract_diff_gz.py: Extract debian dir to current directory
No need to download that tarball manually and extract in the
git repository.