From 3e4b0aace888af989e390cf5d6b81788583de7de Mon Sep 17 00:00:00 2001 From: William S Fulton Date: Sat, 9 Feb 2019 18:02:55 +0000 Subject: [PATCH] Terminology correction in html docs --- Doc/Manual/Extending.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Doc/Manual/Extending.html b/Doc/Manual/Extending.html index 53c2e68ae..7b2e61e21 100644 --- a/Doc/Manual/Extending.html +++ b/Doc/Manual/Extending.html @@ -3626,7 +3626,7 @@ A target language is given the 'Experimental' status when