directory / @ 92:013a5819996b

name size permissions
[up] drwxr-xr-x
dir. DL/ drwxr-xr-x
dir. Problems/ drwxr-xr-x
dir. data/ drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. solvers/ drwxr-xr-x
dir. toolboxes/ my_dummy_toolbox drwxr-xr-x
dir. util/ drwxr-xr-x
file .hgtags 161 -rw-r--r--
file README.txt 5405 -rw-r--r--
file SMALLboxSetup.m 15640 -rw-r--r--
file To Do list.m 1178 -rw-r--r--