tree 7d0aa30c1a5c0472b9c2dfdbe267f44c019df804
parent bd0c7bb0a7cb0e1c52265022e84cb5c7553f46dc
author Kristina Chodorow <kchodorow@google.com> 1442855189 +0000
committer Laszlo Csomor <laszlocsomor@google.com> 1442941468 +0000

Add an option to remove a directory prefix when extracting an archive

Fixes #221.

RELNOTES: new_http_archive can specify a root directory.

--
MOS_MIGRATED_REVID=103556111