PageRenderTime 55ms CodeModel.GetById 24ms RepoModel.GetById 0ms app.codeStats 0ms

/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
  1. <html>
  2. <head>
  3. <title>LatestVersion Plugin</title>
  4. </head>
  5. <body>
  6. <h1>LatestVersion Plugin</h1>
  7. This plugin can be used to find out what the latest available jEdit
  8. version is. To invoke it, select
  9. <b>Plugins</b>&gt;<b>Check jEdit Version</b>. When invoked, it will
  10. connect to a special URL
  11. (<code>http://www.jedit.org/jEdit-version.txt</code>),
  12. which contains version info.
  13. </body>
  14. </html>