/tools/

• ../
• change-thesaurus-filenames
• convert-xml-to-datadumper
• create-distribution