tree 8b67600fd84417b63d39847d253f0e04d1c68bfa
parent 57dc5453db6080e67f18f63a8c3aaec24e0aa0dc
author Jan Tattermusch <jtattermusch@google.com> 1513128613 +0100
committer Jan Tattermusch <jtattermusch@google.com> 1513138089 +0100

use auto-generated header for C# plugin