remove pull.sh

2026-08-16 15:34:45 +02:00 · 2026-08-16 15:34:45 +02:00 · 5e7bda2001
parent 6be71761b5
commit 5e7bda2001
1 changed files with 0 additions and 8 deletions
--- a/pull.sh
+++ b/pull.sh
@ -1,8 +0,0 @@
-#!/bin/bash
-set -e
-for d in . kde; do
-    pushd "$d" >/dev/null
-    git checkout main
-    git pull
-    popd >/dev/null
-done