directory /+time/+cdiff/ @ 830:e15a667ffde2 feature/operator_files

name size permissions
[up] drwxr-xr-x
file cdiff.m 455 -rw-r--r--