Fix git URL in gitweb
authorAlex Dehnert <adehnert@mit.edu>
Mon, 11 Mar 2013 01:33:50 +0000 (21:33 -0400)
committerAlex Dehnert <adehnert@mit.edu>
Mon, 11 Mar 2013 01:33:50 +0000 (21:33 -0400)
Unfortunately, it is non-obvious how to make gitweb show
git@xvm.mit.edu:invirt/-style URLs, but git@xvm.mit.edu:./invirt/ is easy and
works.


No differences found