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