tree c579444f1a4212f0be1ef2e78dd7d5f7a90e0f81
parent bfed7d9f0c45e274236f4c2a6557b9379a78e2ba
author Julian Hyde <julianhyde@gmail.com> 1369356036 -0700
committer Julian Hyde <julianhyde@gmail.com> 1369356036 -0700

Read column types from header of CSV file.