1 files changed, 14 insertions, 0 deletions
diff --git a/hacks/metadata_from_problem b/hacks/metadata_from_problem
new file mode 100755
index 000000000..a739d5fdd
--- /dev/null
+++ b/hacks/metadata_from_problem
@@ -0,0 +1,14 @@
+#!/usr/bin/python3
+
+import sys
+
+on = False
+for line in sys.stdin:
+    line = line.strip()
+    if line == '<?xml version="1.0" encoding="UTF-8"?>' or on:
+        print(line)
+        on = True
+    if line == '</Metadata>':
+        on = False
+
+