Fix extra row left behind after deleting a pipeline instance. closes #2929
[arvados.git] / apps / workbench / public / robots.txt