tree 70d929a9a74ef89c558dbb3b17bcb9581a86ff15
parent 36402e281da8d54f45a52798153218e87abd9bd8
author Rasmus Munk Larsen <rmlarsen@google.com> 1631301146 +0000
committer Rasmus Munk Larsen <rmlarsen@google.com> 1631301146 +0000

Issue an error in case of direct inclusion of internal headers.