diff options
Diffstat (limited to 'tools/functions')
-rw-r--r-- | tools/functions | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/functions b/tools/functions deleted file mode 100644 index fe9ab02..0000000 --- a/tools/functions +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -function indent { - echo ":: $*" -} - |