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 f3aa563758 Planet resources interface fix ... * Some text in the English version of the planet page's "natural resources" tab incorrectly used the term "settings" instead of "priorities". * The English version of the planet page's "natural resources" tab did not display any explanation when the planet was following empire-wide mining priorities.		2012-02-08 11:54:01 +01:00
..
fm	Planet resources interface fix	2012-02-08 11:54:01 +01:00
main-servlet.xml	Project: * Clean-up (Eclipse cruft, unused files, etc...) * Git-specific changes * Maven POMs clean-up and changes for the build system * Version set to 1.0.0-0 in the development branches * Maven plug-ins updated to latest versions * Very partial dev. documentation added	2011-12-09 08:07:33 +01:00
web.xml	Project: * Clean-up (Eclipse cruft, unused files, etc...) * Git-specific changes * Maven POMs clean-up and changes for the build system * Version set to 1.0.0-0 in the development branches * Maven plug-ins updated to latest versions * Very partial dev. documentation added	2011-12-09 08:07:33 +01:00