diff --git a/docs.html b/docs.html index 76bbd209..715cf496 100644 --- a/docs.html +++ b/docs.html @@ -19116,6 +19116,7 @@ List of additions and changes for each version:
ARMA_WARN_LEVEL configuration option, to control the degree of emitted warning messages