100644 blob b8844e74c38a3d316bea24b627b1b1c684e19ee9	about.html
040000 tree 670fcccd0872670ef4f27ad55917735557655bdc	about_files
100644 blob 2df90811f6d63c322c8433d70e9000f69057960e	antlr.xml
100644 blob e8eb606f700cb044acd3b28126cbefaff4ac430b	plugin.properties
100644 blob fc4fe77475efd18219d284686123846d62001e68	plugin.xml
100644 blob e045e30146aa19236a794fc41aa3f5d1217c02f8	plugin_de.properties
100644 blob 4dd12de481f479646cb14eb58e9f616ff9f8f9e9	plugin_fr.properties
100644 blob dd541e5ea8f60c18c9ea3f684c912111afa12ea1	pom.xml
040000 tree 53059438b477a4139ff5af1dd2f78a9465f705c3	src