diff --git a/doc/API.html b/doc/API.html index 440ad09..8643d7f 100644 --- a/doc/API.html +++ b/doc/API.html @@ -98,6 +98,7 @@ code,pre{font-family:Monaco,Consolas,"Lucida Console",monospace;