From a9827c8fc8bf611dfdc771f4349637534740227a Mon Sep 17 00:00:00 2001 From: Edward Diener Date: Wed, 30 Oct 2019 14:32:45 -0400 Subject: [PATCH] Updated docs __VA_OPT__ support. --- doc/headers/facilities.html | 1 + doc/topics/emptiness.html | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/headers/facilities.html b/doc/headers/facilities.html index 90eaa39..c8c45b5 100644 --- a/doc/headers/facilities.html +++ b/doc/headers/facilities.html @@ -15,6 +15,7 @@