Merge commit 'dkg/master'

[monkeysphere.git] / src / common

diff --git a/src/common b/src/common
index d8cc227e6d6cc908875400c638634a0aac1409e1..ef931ca4bc7a20282be621bfa533830c9cfef8bb 100644 (file)
--- a/src/common
+++ b/src/common
@@ -1,4 +1,5 @@
 # -*-shell-script-*-
+# This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
 
 # Shared sh functions for the monkeysphere
 #