user-agent: also set GIT_HTTP_USER_AGENT when requested
[girocco.git] / Girocco / 
tree05c742d8e5f34a65d530c7cf05b2cdea8e0697bc
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 6736 CGI.pm
-rw-r--r-- 28790 Config.pm
drwxr-xr-x - Email
-rw-r--r-- 6041 HashUtil.pm
-rw-r--r-- 6266 Notify.pm
-rw-r--r-- 2215 ProjPerm.pm
-rw-r--r-- 27562 Project.pm
-rw-r--r-- 3372 SSHUtil.pm
-rw-r--r-- 11571 User.pm
-rw-r--r-- 20251 Util.pm