commit 3a5769bae2908d9351692b922395dfa32af097bd
author Damien Martin-Guillerez <dmarting@google.com> Fri Mar 13 15:36:43 2015 +0000
committer Han-Wen Nienhuys <hanwen@google.com> Mon Mar 16 17:33:50 2015 +0000
tree c489417a579968972d203b5f9d574b5054d90bf4
parent bd6d60b874911e5176224b8677d7448227f387d9

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

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index cd2e95b..e69de29 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -1 +0,0 @@
-workspace(name = "bazel")