diff options
| author | John Fultz <jfultz@wolfram.com> | 2015-08-24 04:45:27 -0500 |
|---|---|---|
| committer | John Fultz <jfultz@wolfram.com> | 2015-08-24 04:45:46 -0500 |
| commit | 1f7b8ef6f96e1d5a2c50565a0f52cc633215e485 (patch) | |
| tree | 11f406677824d20924748225ab7eb129ba929cd0 /makeminidawg | |
| parent | 8c7ffef1b6c669592e979fb6038dd634df7f95fc (diff) | |
Version the GADDAGs.
Basically the same thing I just did to the DAWG files,
now done to GADDAGs. Also, add hashing, and
make sure GADDAGs only load if their hash matches
that of the DAWG files.
Diffstat (limited to 'makeminidawg')
0 files changed, 0 insertions, 0 deletions