directory /Plugins/ @ 1188:35dc5d2a1675 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--