Perms
Size
Modified
Name
Actions
drwx
DIR
Nov 29 08:55
bash-completion
[rename] [delete]
drwx
DIR
Nov 29 08:56
doc
[rename] [delete]
drwx
DIR
Nov 29 08:55
licenses
[rename] [delete]
drwx
DIR
Nov 29 08:55
man
[rename] [delete]
drwx
DIR
Apr 17 17:19
systemtap
[rename] [delete]