Document: robocode
Title: API Javadoc for Robocode
Author: Robocode developers
Abstract: This is the API Javadoc provided for Robocode.
Section: Programming

Format: HTML
Index: /usr/share/games/robocode/javadoc/index.html
Files: /usr/share/games/robocode/javadoc/*
