diff --git a/src/xml/fox b/src/xml/fox deleted file mode 160000 index bdc852f4f4..0000000000 --- a/src/xml/fox +++ /dev/null @@ -1 +0,0 @@ -Subproject commit bdc852f4f43d969fb1b179cba79295c1e095a455