From 7cae2299c19aa271cfc6203f2bfa390ae370a4b4 Mon Sep 17 00:00:00 2001 From: John Kerl Date: Sat, 8 Jan 2022 23:03:31 -0500 Subject: [PATCH] Draw a distinction between JSON and JSON Lines formats --- todo.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/todo.txt b/todo.txt index d2e7a5192..84692c8d5 100644 --- a/todo.txt +++ b/todo.txt @@ -10,6 +10,7 @@ PUNCHDOWN LIST * ngrams.sh -v -o 1 one-word-list.txt * sync-print option; or (yuck) another xprint variant; or ...; emph dump/eprint ? trace-mode ? +* double-check utf8 / ngram splicing * doc o new-in-miller-6: missing: