diff --git a/docs/generators/ada-server.html b/docs/generators/ada-server.html index 7034d667691..3ac3f75cac3 100644 --- a/docs/generators/ada-server.html +++ b/docs/generators/ada-server.html @@ -25,4 +25,104 @@