diff --git a/tools/doc/dotnet.header.html.in b/tools/doc/dotnet.header.html.in new file mode 100644 index 0000000000..9d751c5618 --- /dev/null +++ b/tools/doc/dotnet.header.html.in @@ -0,0 +1,33 @@ + + + + OR-Tools + + + + + + + + + +
+
+

DotNet Reference

+ +
+
+
+

Page Title

+