tree c094d5fbfed2d0a1223cba354467791e53b2035d
parent bf1cc9217a486cf68c2705d4f307fddb73291004
author Jon Skeet <jonskeet@google.com> 1438595967 +0100
committer Jon Skeet <jonskeet@google.com> 1438597799 +0100

Remove a redundant layer of directory hierarchy.