Andreas Huber 394e16ad27 make time column configurable ...

Adding the header of the time column to the
CsvReaderSettings. This is necessary to parse
arbitrary CSV files.

2019-12-09 18:59:48 +01:00

..

src

make time column configurable

2019-12-09 18:59:48 +01:00

.gitignore

ignore hs_err_pid files

2019-10-09 19:03:13 +02:00

build.gradle

merge projects file-utils, byte-utils and pdb-utils

2019-12-08 18:47:54 +01:00