6 |
+# base URI |
+# base URI |
7 |
+$my_uri = "/git/"; |
+$my_uri = "/git/"; |
8 |
+# URI of stylesheets |
+# URI of stylesheets |
9 |
+@stylesheets = ("/git/gitweb.css"); |
+@stylesheets = ("/git/static/gitweb.css"); |
10 |
+# URI of GIT logo (72x27 size) |
+# URI of GIT logo (72x27 size) |
11 |
+$logo = "/git/git-logo.png"; |
+$logo = "/git/static/git-logo.png"; |
12 |
+# URI of GIT favicon, assumed to be image/png type |
+# URI of GIT favicon, assumed to be image/png type |
13 |
+$favicon = "/git/git-favicon.png"; |
+$favicon = "/git/static/git-favicon.png"; |
14 |
+# URI of gitweb.js (JavaScript code for gitweb) |
+# URI of gitweb.js (JavaScript code for gitweb) |
15 |
+$javascript = "/git/gitweb.js"; |
+$javascript = "/git/static/gitweb.js"; |
16 |
+ |
+ |