File python-optional.patch of Package javapackages-tools (Revision 522fb6c169a17074f869d2be5a63ef13)
Currently displaying revision 522fb6c169a17074f869d2be5a63ef13 , Show latest
Currently displaying revision 522fb6c169a17074f869d2be5a63ef13 , Show latest