Perms
Size
Modified
Name
Actions
drwx
DIR
Jan 20 14:28
base
[rename] [delete]
drwx
DIR
Jan 20 14:28
repl
[rename] [delete]
drwx
DIR
Jan 20 14:28
vm
[rename] [delete]
0644
6.75K
Oct 13 01:10
foreign.scm
[edit] [rename] [delete]
0644
14.26K
Oct 13 01:10
xref.scm
[edit] [rename] [delete]