directory /fig/ @ 2:19e0e04dce74 default tip

name size permissions
[up] drwxr-xr-x
file compare_encoding.eps 21602 -rw-r--r--
file reconnectionCollaboration01.bb 146 -rw-r--r--
file reconnectionCollaboration01.pdf 27894 -rw-r--r--
file reconnectionCollaboration02.bb 146 -rw-r--r--
file reconnectionCollaboration02.pdf 30626 -rw-r--r--