]> git.tuebingen.mpg.de Git - paraslash.git/tree - scripts/
client: rename "args_info" to "conf"
[paraslash.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 1513 demo-script