/jEdit/tags/jedit-4-2-pre4/jars/LatestVersion/LatestVersion.html
# · HTML · 18 lines · 14 code · 4 blank · 0 comment · 0 complexity · 9637ffdb0b2b29c41bf2c8f026586437 MD5 · raw file
- <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>