tools/README
changeset 825 b87f8688118c
parent 578 1536b3881809
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/README	Fri Jan 15 12:02:29 2010 +0100
@@ -0,0 +1,14 @@
+This directory contains useful files for the developer.
+
+JavaHeaderCheck.regex
+This file is used by checkstyle to check the header on the java files.
+
+LicenseHeader.txt
+This file contains the header mandatory for all the java files of the project.  Lines 29 to 42 are optional.
+
+checkstyle.xml
+This file contains the rules used by checkstyle to verify the conformity of the source code. If you want your code to be accepted by the team, you must pass all the checks.
+
+eclipse_formatter.xml
+This file can be used by Eclipse IDE to configure the code formater.
+