directory /Plugins/ @ 776:9f42493bdec1 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--