From 75d798155902d4f3e5fe64104ffcdaa1890f94b8 Mon Sep 17 00:00:00 2001 From: Ganesh Viswanathan Date: Tue, 19 May 2020 10:39:50 -0500 Subject: Update documentation --- types.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'types.html') diff --git a/types.html b/types.html index 9643756..9766d67 100644 --- a/types.html +++ b/types.html @@ -198,7 +198,7 @@ function main() { -- cgit v1.2.3