aboutsummaryrefslogtreecommitdiff
path: root/motus/lib/wordlist.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-17 22:29:25 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-17 22:29:25 +0100
commite5c2a971644746818f8764481c60c4c5cf1a80c4 (patch)
tree2719a0c0c64f71c3277addb33ab1562602ba10cc /motus/lib/wordlist.mli
parent20d10a93e5becb41d1145f9d35136782365b0ba4 (diff)
Moved path builder in a dedicated file
Diffstat (limited to 'motus/lib/wordlist.mli')
0 files changed, 0 insertions, 0 deletions