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 8f2fd29c71 Player-defined priority storage ... Added the events.custom_priorities that ought to store player-defined priorities for event types which support it.		2012-06-29 17:19:23 +02:00
..
db-structure	Player-defined priority storage	2012-06-29 17:19:23 +02:00
src	Improved I18N support:	2012-04-05 11:25:08 +02:00
pom.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