directory /Plugins/ @ 797:047100d5a37d 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--