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