directory /general/discretise/ @ 61:eff6bddf82e3 tip

name size permissions
[up] drwxr-xr-x
dir. @dmap/ drwxr-xr-x
file binmap.m 437 -rw-r--r--
file data2maps.m 688 -rw-r--r--
file edgemap.m 936 -rw-r--r--
file expmap.m 875 -rw-r--r--
file intmap.m 508 -rw-r--r--
file linmap.m 834 -rw-r--r--
file maps2grid.m 182 -rw-r--r--
file quant.m 198 -rw-r--r--