directory /scripts/set/ @ 5540:cda6a105ae9a before-ov-branch

name size permissions
[up] drwxr-xr-x
file Makefile.in 987 -rw-r--r--
file complement.m 1593 -rw-r--r--
file create_set.m 1510 -rw-r--r--
file intersection.m 1767 -rw-r--r--
file ismember.m 4309 -rw-r--r--
file setdiff.m 1678 -rw-r--r--
file union.m 1518 -rw-r--r--
file unique.m 3229 -rw-r--r--