/jEdit/tags/jedit-4-2-pre14/jars/LatestVersion/LatestVersion.html
HTML | 18 lines | 14 code | 4 blank | 0 comment | 0 complexity | 9637ffdb0b2b29c41bf2c8f026586437 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <html>
- <head>
- <title>LatestVersion Plugin</title>
- </head>
- <body>
- <h1>LatestVersion Plugin</h1>
- This plugin can be used to find out what the latest available jEdit
- version is. To invoke it, select
- <b>Plugins</b>><b>Check jEdit Version</b>. When invoked, it will
- connect to a special URL
- (<code>http://www.jedit.org/jEdit-version.txt</code>),
- which contains version info.
- </body>
- </html>