chiark / gitweb /
Fix up PATH on Solaris.