From 8c638d2addad0831b71428591cd76629c436ee05 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Tue, 1 Jul 2014 14:28:48 +0200
Subject: XML tool

---
 Tools/px_generate_xml.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Tools/px_generate_xml.sh

(limited to 'Tools/px_generate_xml.sh')

diff --git a/Tools/px_generate_xml.sh b/Tools/px_generate_xml.sh
new file mode 100644
index 000000000..65f0c95da
--- /dev/null
+++ b/Tools/px_generate_xml.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+python px_process_params.py --xml
-- 
cgit v1.2.3