#!/usr/bin/env bash
rm -f "$SAGE_LOCAL/bin/frobby"
