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