From 1d0282d7f2d65bf5998e237fffa7c41fcb5ab0a4 Mon Sep 17 00:00:00 2001 From: conrad Date: Mon, 4 Jul 2022 17:19:33 +1000 Subject: [PATCH] remove docs for old option --- docs.html | 47 ----------------------------------------------- 1 file changed, 47 deletions(-) diff --git a/docs.html b/docs.html index 2c9ffca6..121a92ea 100644 --- a/docs.html +++ b/docs.html @@ -19377,53 +19377,6 @@ Example usage: -