Version 0.6.0

- honour capital/mixed cases for ignore case - consolidate consecutive matches - database upgrade capability - case sensitivity option reversed - removed obsolete WIM handling - skip empty mapping - Deletion of mapping
2020-06-06 14:33:06 +02:00
parent ecd6e5c340
commit a29f6486fe
13 changed files with 427 additions and 165 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -37,6 +37,7 @@ out/
 obj/

 # Misc
+.bin/
 *.log
 *.graphml
 coverage.db*