diff options
-rwxr-xr-x | externals/build/pdln | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/externals/build/pdln b/externals/build/pdln deleted file mode 100755 index 76b4b6d8..00000000 --- a/externals/build/pdln +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -arg=$1 - -echo linking $arg ../src/${arg##*/} -echo \#include \"$arg\" > src/${arg##*/} - - |