Doug Gregor 528d642fc5 Make the Fix-It JSON writer produce proper JSON ...

While here, also sort and deduplicate output entries, and stop having
the Python script try to

The Python script is still messing up the files in some cases, but
I haven't tracked it down. Instead, I have a small Swift program
that does the same thing more easily.

2024-12-14 21:49:57 -08:00

3.0 KiB

Raw Permalink Blame History

View Raw