cs1 515 src/filemanager/filegui.c const char *cs1; cs1 554 src/filemanager/filegui.c cs1 = file_date (ui->src_stat->st_mtime); cs1 555 src/filemanager/filegui.c NEW_LABEL (3, cs1); cs1 569 src/filemanager/filegui.c cs1 = file_date (ui->dst_stat->st_mtime); cs1 570 src/filemanager/filegui.c NEW_LABEL (7, cs1);