Markus Reiter
e9286cc618
Use HTTPS for SourceForge downloads. ( #23292 )
2016-07-31 06:28:52 +02:00
Victor Popkov
9fc9afd5e2
jedit.rb: fix vendor comment
2016-03-08 23:00:34 +02:00
Josh Hagins
feba4ec740
Remove DSL versions from all casks
2015-12-17 20:15:28 -05:00
jwigley
7eb46997f7
Updated jedit to version 5.3.0
2015-11-22 16:46:34 -05:00
Rav Chandra
1533c56330
update jedit to version 5.2.0
2015-06-03 14:04:22 +12:00
Vítor Galvão
47ca2c0f00
jedit.rb: added name
2015-03-16 01:37:44 +01:00
Amory Meltzer
26b61826e3
Update jedit license from oss to gpl
...
http://www.jedit.org/
2015-02-01 08:21:10 -08:00
Vítor Galvão
6da2073bd9
updated jedit (5.2)
2015-01-17 23:14:24 +00:00
Roland Walker
a22fd5e434
no HTTPS sourceforge in jedit
2014-12-17 08:14:40 -05:00
Roland Walker
9cf41e5365
new-style header in jedit
2014-11-13 12:35:46 -05:00
Roland Walker
d1e571b9d2
add license stanza to jedit
2014-10-01 11:43:03 -04:00
Roland Walker
5f01cf0f72
re-use version in jedit
2014-09-26 08:08:58 -04:00
Roland Walker
098b5e1478
app stanza in jedit.rb
2014-09-15 12:05:47 -04:00
ndr
f1fac33e81
Reformat jedit.rb according to readability conventions
2014-06-27 02:01:21 +02:00
Roland Walker
3a6aee748b
use HTTPS url in jedit.rb
2014-06-18 10:55:23 -04:00
Caleb Xu
eae5e04bc7
Added jEdit
...
jEdit is a mature programmer's text editor with hundreds (counting the
time developing plugins) of person-years of development behind it.
While jEdit beats many expensive development tools for features and
ease of use, it is released as free software with full source code,
provided under the terms of the GPL 2.0.
The jEdit core, together with a large collection of plugins is
maintained by a world-wide developer team.
2014-02-23 13:07:23 -05:00