Remove unused scripts

This commit is contained in:
Jeremy Soller 2025-11-20 12:37:05 -07:00
parent b09eb0ca29
commit 9958be688c
No known key found for this signature in database
GPG Key ID: 670FDFB5428E05CA
3 changed files with 0 additions and 32 deletions

View File

@ -1,13 +0,0 @@
#!/usr/bin/env bash
set -e
source `dirname "$0"`/config.sh
if [ $# = 0 ]
then
recipes="--all"
else
recipes="$@"
fi
repo clean $recipes

View File

@ -1,6 +0,0 @@
#!/usr/bin/env bash
set -e
source `dirname "$0"`/config.sh
# Intentionally empty to allow fetch and cook running in parallel

View File

@ -1,13 +0,0 @@
#!/usr/bin/env bash
set -e
source `dirname "$0"`/config.sh
if [ $# = 0 ]
then
recipes="--all"
else
recipes="$@"
fi
repo unfetch $recipes