100644 blob 79880b98bcf310fc0c151fa27e1d9794ecf67ac2	Messages.java
100644 blob b236212e9895e92c4a554d2d4d53f0f79d09583f	Messages.properties
100644 blob e7f2ad3d4d1f13709eef3892f760b7acd9361e82	RedocsTexRPlugin.java
040000 tree fae7429fa9ab2664b95b642fac762b7982cdbdea	core
040000 tree 88c167088f6a9b34a2b416c64337430fded4c6cd	model
040000 tree 0d95fcb07b71143d270c5dba1aac7375fcf376d4	ui