diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index e3d4e95a262..8c6b36be318 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -85,6 +85,10 @@ option
  • <map>
  • Other Map-Like Container Options
  • +
  • String-like containers +
  • BitVector-like containers