diff --git a/conf/tools/pprzgcs.xml b/conf/tools/pprzgcs.xml new file mode 100644 index 0000000000..7cf2892d3c --- /dev/null +++ b/conf/tools/pprzgcs.xml @@ -0,0 +1,2 @@ + +