File jedit-doclet.patch of Package jedit (Revision 4e40230eddfb6e0eaef9433d6e5848eb)

Currently displaying revision 4e40230eddfb6e0eaef9433d6e5848eb , Show latest