commit 260b455d90d02e336ad18e89a4133a6dff018a81
author Andrey Loskutov <loskutov@gmx.de> Tue Jun 28 14:58:18 2022 +0200
committer Andrey Loskutov <loskutov@gmx.de> Tue Jun 28 14:59:33 2022 +0200
tree 425e9a617ac0f5d15b55f8e72f8e44c19ca7089f
parent 8c64e3ce66746378e6d33baed940c477e5a3f163

Fixed typo in the note about system default encoding for Console

4.25/platform.html

diff --git a/4.25/platform.html b/4.25/platform.html
index 67913a6..41fd64b 100644
--- a/4.25/platform.html
+++ b/4.25/platform.html
@@ -97,8 +97,8 @@
       </p>
       <img  src="images/system_encoding.png" alt=""/>
       <p>
-      API notes: if <code>DebugPlugin.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING<code/> attribute is set, 
-      <code>ILaunchManager.getEncoding(ILaunchConfiguration)<code/>
+      API notes: if <code>DebugPlugin.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING</code> attribute is set, 
+      <code>ILaunchManager.getEncoding(ILaunchConfiguration)</code>
       will return the value of <code>Platform.getSystemCharset()</code> and 
       <code>ILaunchConfiguration.getAttribute(DebugPlugin.ATTR_CONSOLE_ENCODING, null)</code>
       will return <code>null</code>, indicating that default system value should be used.