diff --git a/doc/headers.html b/doc/headers.html index 7728e18..651de5b 100644 --- a/doc/headers.html +++ b/doc/headers.html @@ -80,7 +80,8 @@
  • facilities.hpp
  • facilities/
  • apply.hpp
  • -
  • check_empty.hpp
  • +
  • check_empty.hpp + (v)
  • empty.hpp
  • expand.hpp
  • identity.hpp
  • diff --git a/doc/headers/facilities.html b/doc/headers/facilities.html index c8c45b5..b4166f9 100644 --- a/doc/headers/facilities.html +++ b/doc/headers/facilities.html @@ -15,7 +15,7 @@