1 files changed, 0 insertions, 5 deletions
diff --git a/ship/develop b/ship/develop
deleted file mode 100644
index a961f9c2..00000000
--- a/ship/develop
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-source_all(){
-  LIBDIR=${1:-.}
-  for i in $LIBDIR/*; do . "$i"; done
-}