File fix-user-editable-menus.patch of Package kile (Revision 57da31d77dbe605974e8d85a1bd47d80)
Currently displaying revision 57da31d77dbe605974e8d85a1bd47d80 , Show latest
Currently displaying revision 57da31d77dbe605974e8d85a1bd47d80 , Show latest