removed obsolete files

Signed-off-by: Dmitrii Ustiugov <dmitrii.ustiugov@epfl.ch>
vhive-serverless · Nov 30, 2020 · b7b195c · b7b195c
1 parent 9c25e9e
commit b7b195c
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 236 deletions.
diff --git a/BUILD b/BUILD
diff --git a/WORKSPACE b/WORKSPACE
diff --git a/function-images/ml_base/Dockerfile b/function-images/ml_base/Dockerfile