From c774f9161f79eb31c69f28aa7661a0b4e9ca6d2d Mon Sep 17 00:00:00 2001 From: conrad Date: Thu, 31 Mar 2022 13:53:11 +1000 Subject: [PATCH] more details --- docs.html | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/docs.html b/docs.html index 0b8e21f4..78d10132 100644 --- a/docs.html +++ b/docs.html @@ -8566,21 +8566,13 @@ See also: cond( A )