cs1 511 src/filemanager/filegui.c const char *cs1; cs1 550 src/filemanager/filegui.c cs1 = file_date (ui->src_stat->st_mtime); cs1 551 src/filemanager/filegui.c NEW_LABEL (3, cs1); cs1 565 src/filemanager/filegui.c cs1 = file_date (ui->dst_stat->st_mtime); cs1 566 src/filemanager/filegui.c NEW_LABEL (7, cs1);