tree 2c85af3c862964f8341d615dfa00d70450ac4c74
parent 13ee3dc5e4c46bf127977ad28645c47442ec517d
author Renato Mangini Dias <mangini@google.com> 1597868606 +0000
committer Renato Mangini Dias <mangini@google.com> 1597868606 +0000

Deprecate obsolete repository

Change-Id: I232458fe31f25388f36a52448f7dd3665cca7976
Reviewed-on: https://fuchsia-review.googlesource.com/c/zircon/+/418718
Reviewed-by: Mahesh Saripalli <maheshsr@google.com>
Reviewed-by: Travis Geiselbrecht <travisg@google.com>
API-Review: Dale Sather <dalesat@google.com>