jedit: renamed dep to jre
This commit is contained in:
parent
f2896cc675
commit
7d4b712467
@ -2,7 +2,7 @@
|
||||
# URL: http://www.jedit.org
|
||||
# Maintainer: Simone Rota, sip at crux dot nu
|
||||
# Packager: Simone Rota, sip at crux dot nu
|
||||
# Depends on: j2re, unzip
|
||||
# Depends on: jre, unzip
|
||||
|
||||
name=jedit
|
||||
version=4.2
|
||||
|
Loading…
x
Reference in New Issue
Block a user