tree ba658dfd719b0c5a8e326a2df67cdd35ad0f5a57
parent d5d2125736d2e2dbf479740fad6d81ca995e5a61
author Marc Kupietz <kupietz@ids-mannheim.de> 1752932668 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1752932668 +0200

If available, use ripunzip also for extracting specific files

Change-Id: I27eb84bc0a26621018320c19cb41ae79a8ad1da2