* add $HOME/bin to $PATH if it exists
[lab.git] / TipAndDoc / tools / trac / cgi-bin /
drwxr-xr-x   ..
-rwxr-xr-x 1071 trac.cgi
-rwxr-xr-x 1027 trac.fcgi