]> git.tuebingen.mpg.de Git - paraslash.git/tree - scripts/
web/header2.html: update the changes menu item to point to gitweb.
[paraslash.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 1510 demo-script