From e808ed9e7dae3273ba3614ba8cef960778f21b80 Mon Sep 17 00:00:00 2001
From: rich <rich>
Date: Tue, 24 Oct 2006 10:09:33 +0000
Subject: [PATCH] Documentation update.

---
 csvtool.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/csvtool.ml b/csvtool.ml
index d594ea6..f6c1184 100644
--- a/csvtool.ml
+++ b/csvtool.ml
@@ -1,5 +1,5 @@
 (* Handy tool for managing CSV files.
- * $Id: csvtool.ml,v 1.4 2006-10-24 10:06:01 rich Exp $
+ * $Id: csvtool.ml,v 1.5 2006-10-24 10:09:33 rich Exp $
  *)
 
 open Printf
@@ -379,7 +379,6 @@ Column specs:
 
 Input files:
   csvtool takes a list of input file(s) from the command line.
-  If none are listed, then stdin is used instead.
 
 Output file:
   Normally the output is written to stdout.  Use the -o option
-- 
1.8.3.1