directory /Plugins/ @ 1476:5dbe7cfdcaf5 trunk

name size permissions
[up] drwxr-xr-x
dir. Effect/ drwxr-xr-x
dir. General/ drwxr-xr-x
dir. Input/ drwxr-xr-x
dir. Output/ drwxr-xr-x
dir. Visualization/ drwxr-xr-x
file Makefile.in 103 -rw-r--r--