build: remove obsolete file
authorJohn Marshall <jtm.home@gmail.com>
Wed, 20 May 2020 11:35:35 +0000 (12:35 +0100)
committerJohn Marshall <jtm.home@gmail.com>
Wed, 10 Jun 2020 10:50:54 +0000 (11:50 +0100)
commit0a73017f39f00dd2033fe1eaf85022a11233555d
tree37cddb7e4e3516308696bf532621753da752f9bd
parent58e2a1135e3811a3ddcaf93af0f2572e137ce42e
build: remove obsolete file
 - xml_insert.sh
docs/tools/xml_insert.sh [deleted file]