directory /Plugins/ @ 607:cd9eda1f7034 trunk

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