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