tree 4d98b5524c04da2d7a9973b4e4173b2b91219972
parent b0e65d3bc11884966c67b68205b2f40291e697c0
author jcater <jcater@google.com> 1582137535 -0800
committer Copybara-Service <copybara-worker@google.com> 1582137593 -0800

Clean up internal/external split in platform docs.

PiperOrigin-RevId: 296002457