tree 1b5c71d67de828b1bcf1035b8ac5959965d30a58
parent bd3f0b417c05739d605a85f1d888bd27ca9a81a9
author Jakob Buchgraber <buchgr@google.com> 1518616540 +0100
committer Jakob Buchgraber <buchgr@google.com> 1518616540 +0100

remove git_repository