git – changing libraries gave us new XML options

I spent an evening working through the delete issue with git repos. A Twitter thread was the result. Sergey Kozlov came up with some code changes which changed the XML output. Now I think we have a plan. The commit I’m using for a working example was to editors/nvi2 on 27 Jul 2020 01:58:34 – […]

git – changing libraries gave us new XML options Read More ยป