# dictionary.properties file
dictionary.dictionary=minidict.xml
dictionary.dictSpecFile=minispecs.xml
dictionary.index=mini1.clk
dictionary.reverseIndex=mini2.clk
dictionary.domainFile=minid.xml