1 files changed, 0 insertions, 17 deletions
diff --git a/subr/ex_rtl.subr b/subr/ex_rtl.subr
deleted file mode 100644
index 1c48bb00..00000000
--- a/subr/ex_rtl.subr
+++ /dev/null
@@ -1,17 +0,0 @@
-#
-# set +o errexit -o noglob is assumed.
-#
-
-EXP_RTL_IFS="${IFS}";
-
-ex_rtl_basename() { echo "${1##*/}"; };
-ex_rtl_date() { command date "+${1:-${DEFAULT_TIMESTAMP_FMT}}"; };
-ex_rtl_dirname() { echo "${1%/*}"; };
-ex_rtl_pop_IFS() { IFS="${EXP_RTL_IFS}"; };
-ex_rtl_push_IFS() { EXP_RTL_IFS="${IFS}"; IFS="${1}"; };
-ex_rtl_set_var_unsafe() { [ -n "${2}" ] && eval ${1}=\"${2}\" || return 0; };
-ex_rtl_test_cmd() { command -v "${1}" >/dev/null; };
-ex_rtl_uniq() { echo "${@}" | sed 's/ /\n/g' | awk '!x[$0]++' | paste -s -d" "; };
-ex_rtl_unset_vars() { while [ ${#} -gt 0 ]; do unset "${1}"; shift; done; };
-
-# vim:filetype=sh