directory /fig/ @ 4:00ef3b6ef98a

name size permissions
[up] drwxr-xr-x
file Cell.bb 118 -rw-r--r--
file Cell.pdf 12077 -rw-r--r--
file code-goto.bb 123 -rw-r--r--
file code-goto.pdf 80969 -rw-r--r--
file pipeline.bb 122 -rw-r--r--
file pipeline.pdf 39759 -rw-r--r--
file span.bb 118 -rw-r--r--
file span.graffle 2089 -rw-r--r--
file span.pdf 10826 -rw-r--r--
file spe.bb 117 -rw-r--r--
file spe.pdf 11694 -rw-r--r--
file taskmanager.bb 125 -rw-r--r--
file taskmanager.pdf 25038 -rw-r--r--