# Minimal WORKSPACE file
