tuned whitespace;
authorwenzelm
Tue, 21 Sep 2010 22:08:13 +0200
changeset 39580 05daab5782f6
parent 39579 0d5a32c1bf11
child 39581 430ff865089b
tuned whitespace;
lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Tue Sep 21 22:01:27 2010 +0200
+++ b/lib/scripts/feeder.pl	Tue Sep 21 22:08:13 2010 +0200
@@ -27,9 +27,9 @@
 $head && (print "$head", "\n");
 
 if (!$quit) {
-    while (<STDIN>) {
-	print;
-    }
+  while (<STDIN>) {
+    print;
+  }
 }
 
 $tail && (print "$tail", "\n");