cs1               519 src/filemanager/filegui.c     const char *cs1;
cs1               556 src/filemanager/filegui.c     cs1 = file_date (ui->src_stat->st_mtime);
cs1               557 src/filemanager/filegui.c     NEW_LABEL (3, cs1);
cs1               571 src/filemanager/filegui.c     cs1 = file_date (ui->dst_stat->st_mtime);
cs1               572 src/filemanager/filegui.c     NEW_LABEL (7, cs1);