Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
| Bug#: 4304 | Product: Gentoo Linux | Version: unspecified | Platform: All |
| OS/Version: Linux | Status: RESOLVED | Severity: enhancement | Priority: P2 |
| Resolution: FIXED | Assigned To: rphillips@gentoo.org | Reported By: blizzy-keyword-gentoo_bugs2.a8a736@blizzy.de | |
| Component: Ebuilds | |||
| URL: | |||
| Summary: app-editors/jedit-4.0.3 (update) | |||
| Keywords: | |||
| Status Whiteboard: | |||
| Opened: 2002-06-28 21:40 0000 | |||
| Description: | Opened: 2002-06-28 21:40 0000 |
jEdit update to version 4.0.3
Created an attachment (id=1865) [details]
ebuild for app-editors/jedit-4.0.3
Note that this ebuild also moves jedit from /usr/jedit to the more appropriate
/usr/share/jedit (IMHO).