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