Warning, /kdevelop/kdevelop/plugins/docker/kdevdockerplugin.rc is written in an unsupported language. File is not indexed.
0001 <!DOCTYPE gui SYSTEM "kpartgui.dtd"> 0002 <gui name="kdevdocker" version="1" translationDomain="kdevdocker"> 0003 <MenuBar> 0004 <Menu name="run"> 0005 </Menu> 0006 </MenuBar> 0007 </gui>