aboutsummaryrefslogtreecommitdiff
path: root/motus/lib/wordlist.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-26 13:42:32 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-26 15:19:51 +0100
commit84b8439aa90f1465d05dcba936a25eaf96f914a0 (patch)
treeeb50a0a305d14d8591acb51e5ab745dcdd3e1f88 /motus/lib/wordlist.mli
parent4eff667b92ff7ef4c3542650509c03fb0de5cbce (diff)
Use the whole dictionnary when searching for a word for a faster exploration
Diffstat (limited to 'motus/lib/wordlist.mli')
0 files changed, 0 insertions, 0 deletions