diff --git a/proposals/b:zoe1/use.sh b/proposals/b:zoe1/use.sh deleted file mode 100644 index cffcf2a8..00000000 --- a/proposals/b:zoe1/use.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -# Exit when any command fails -set -e - -echo "TODO remove once https://github.com/Agoric/agoric-3-proposals/pull/20 lands"