docs/tools/xml_insert: fix awk warning
authorØyvind Kolås <pippin@gimp.org>
Sun, 12 Jan 2020 22:59:13 +0000 (23:59 +0100)
committerØyvind Kolås <pippin@gimp.org>
Sun, 12 Jan 2020 22:59:13 +0000 (23:59 +0100)
commit1c368ffc2a798ad79c592c341d93e20bcdb38451
tree15b6f9f2094338f6a96159217838414c0aad4f50
parent638cde70d018813a37aad6abbe169ad21c3bb349
docs/tools/xml_insert: fix awk warning
docs/tools/xml_insert.sh