Prints dump time

Samo Penic

2016-02-16 2e8c7f52430652afbad48de48094c01b46c9b40d

 src/io.h

@@ -15,7 +15,9 @@
    char output_fullfilename[1024]; //name of the master file
    char dump_fullfilename[1024]; //name of the dump file
    char tape_fullfilename[1024]; //name of the tape file
    char tape_templatefull[1024]; //name of the tape template file
    char tape_opts[1000]; //commandline tape options
    char dump_from_vtk[1024];
} ts_args;

ts_args command_line_args;