/games/robocode-naval/files/

• ../
• patch-desktop_robocodeRobocode.desktop
• patch-naval-robocode.sh
• pkg-deinstall.in
• pkg-message.in
• robocode-NavalRobocode.in