diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index dba72136970..1931a680607 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -29,6 +29,12 @@