This repository has been archived on 2025-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

Emmanuel BENOîT e64f847ec3 Planet mining settings interface ... * Modified owned planet view to include a field which indicates whether mining settings are specific to the planet or come from the empire; modified "simple" game components accordingly * Modified stored procedures to only allow planet-specific mining settings updates when the planet actually uses planet-specific settings, and added a stored procedure which toggles the source of a planet's settings * Added corresponding parts to mining settings DAO and resources controller * Added session commands and server command handlers that toggle the source of the settings and that upload the settings * Split planet page template into multiple files for clarity and added the mining priorities form to the natural resources tab		2012-02-07 17:03:55 +01:00
..
src	Planet mining settings interface	2012-02-07 17:03:55 +01:00
pom.xml	Maven project for resources-related component	2012-01-02 15:11:17 +01:00