Jeff Epler 8836198ff1 TextSplitter: don't mutate 'words'
I was puzzled by why the dictionary words were sorted by length.
It was because TextSplitter sorted its parameter, instead of a copy.

This doesn't affect encoding size, but does affect the encoding NUMBER
of the found words.  We'll deliberately restore sorting by length next,
for other reasons, but not by spooky action.
2021-07-09 14:02:31 -05:00
..
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-05-11 15:07:40 -07:00
2021-06-18 10:54:19 -05:00
2021-07-08 15:55:13 -04:00
2021-07-08 15:55:13 -04:00
2021-07-08 15:55:13 -04:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-03-15 19:27:36 +05:30
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2020-07-06 19:16:25 +01:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2020-07-06 19:16:25 +01:00
2021-06-18 10:54:19 -05:00
2021-06-02 12:10:41 +09:00
2021-05-08 20:17:16 -05:00
2021-05-08 20:17:16 -05:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2020-07-06 19:16:25 +01:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2021-04-19 22:22:44 -07:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2020-07-06 19:16:25 +01:00
2021-04-19 22:22:44 -07:00
2021-03-15 19:27:36 +05:30
2021-04-19 22:22:44 -07:00
2021-04-19 22:22:44 -07:00
2020-07-06 19:16:25 +01:00
2021-03-15 19:27:36 +05:30
2021-03-15 19:27:36 +05:30
2020-07-06 19:16:25 +01:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2020-07-06 19:16:25 +01:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2021-05-05 11:00:35 -05:00
2020-07-06 19:16:25 +01:00