From 42071b7ac073f5a3c32df6dd089f8022c1d64881 Mon Sep 17 00:00:00 2001 From: Ganesh Viswanathan Date: Tue, 24 Mar 2020 15:54:31 -0500 Subject: [PATCH] Update documentation --- docs.html | 2 +- theindex.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs.html b/docs.html index d7955c5..80ba4e0 100644 --- a/docs.html +++ b/docs.html @@ -142,7 +142,7 @@ function main() { diff --git a/theindex.html b/theindex.html index c04d88d..9b0a2c7 100644 --- a/theindex.html +++ b/theindex.html @@ -364,7 +364,7 @@ function main() {