From 77c0153c3f15d195a57fd9479f862b4d973b2aae Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Wed, 2 Feb 2011 21:46:00 +0100
Subject: [PATCH] remove useless helper script

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc_show_all_exported_variables | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 doc_show_all_exported_variables

diff --git a/doc_show_all_exported_variables b/doc_show_all_exported_variables
deleted file mode 100644
index 921a6f94..00000000
--- a/doc_show_all_exported_variables
+++ /dev/null
@@ -1,4 +0,0 @@
-cat bin/* | awk '/^export/ { print $2 }'
-
-# __cdist_intern_*   : set by internal processes
-# __cdist_explore_*  : filled with information of the target host