diff --git a/docs/generators/ada-server.html b/docs/generators/ada-server.html index 3cc0e78aefe..3fcdf67d7ba 100644 --- a/docs/generators/ada-server.html +++ b/docs/generators/ada-server.html @@ -125,4 +125,142 @@