wok /w3m/stuff/

name size permissions
[up] drwxr-xr-x
file file_handle.patch 1763 -rw-r--r--
file https.patch 583 -rw-r--r--
file w3m-0.5.2-gc72.patch 744 -rw-r--r--