some valgrind indiced changes
[aoi.git] / tools / 
tree1cd4ab48f33636af07635b38e18cbd0077cedb60
drwxr-xr-x   ..
-rwxr-xr-x 1534 build_db.sh
-rwxr-xr-x 2929 parse_kradfile.py
-rwxr-xr-x 3531 parse_tatoeba.py