/devel/ninja-ide/files/

• ../
• ninja-ide.in
• patch-ninja_ide__resources.py