Added the Csv.trim function.
authorrich <rich>
Mon, 6 Dec 2004 17:40:50 +0000 (17:40 +0000)
committerrich <rich>
Mon, 6 Dec 2004 17:40:50 +0000 (17:40 +0000)
commitf04d2c293ee8ee855fd28e7fa51e5789d8b43e5c
treeb2e5031ba710f2789a197915f5743435037627ab
parent4fcae0de1c9f4f6ff8bc51b38e80756b92bafa11
Added the Csv.trim function.
Cleaned up some of the documentation.
csv.ml
csv.mli