diff --git a/pull.sh~ b/pull.sh~
deleted file mode 100755
index d7bd42b..0000000
--- a/pull.sh~
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-for d in . 9p acme core el httpgw kde skills webui; do pushd $d; git checkout main; git pull; popd; done