Perms
Size
Modified
Name
Actions
drwx
DIR
Jul 16 14:05
dictionaries
[rename] [delete]
drwx
DIR
Jul 16 14:05
encodings
[rename] [delete]
drwx
DIR
Jul 16 14:05
licenses
[rename] [delete]
drwx
DIR
Jul 16 14:05
make
[rename] [delete]
drwx
DIR
Jul 16 14:05
R
[rename] [delete]
drwx
DIR
Jul 16 14:05
Rd
[rename] [delete]
drwx
DIR
Jul 16 14:05
texmf
[rename] [delete]
drwx
DIR
Jul 16 14:05
zoneinfo
[rename] [delete]