diff --git a/WORKSPACE b/WORKSPACE new file mode 100644 index 0000000..08d6561 --- /dev/null +++ b/WORKSPACE @@ -0,0 +1 @@ +workspace(name = "effcee")