tree c489417a579968972d203b5f9d574b5054d90bf4
parent bd6d60b874911e5176224b8677d7448227f387d9
author Damien Martin-Guillerez <dmarting@google.com> 1426261003 +0000
committer Han-Wen Nienhuys <hanwen@google.com> 1426527230 +0000

Rolling-back giving a name to the Bazel workspace

Reason: there was no real reason for this, the bazel workspace link IS
always bazel-bazel.

---
Give a name to the Bazel workspace

This way the name of the workspace will always be bazel whichever the
name of the directory you are cloning in.
Especially, the bazel worskpace link will always be bazel-bazel which
is consistent with .gitignore.

--
MOS_MIGRATED_REVID=88549106