Modification : vm_{host,hosted,remote} -> {host,local,remote}/ .

[lhc/ateliers.git] / lib / rule.sh

diff --git a/lib/rule.sh b/lib/rule.sh
deleted file mode 100644 (file)
index 9990962..0000000
--- a/lib/rule.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-
-. "$tool"/lib/log.sh
-
-rule () {
-       local -
-       local rule="$1"; shift
-       info "$*" rule
-       ${TRACE:+set -x}
-       rule_$rule "$@"
- }