branch | v_0 |
changeset 203 | 504c4ba56d1c |
parent 198 | 03d8492e2ca8 |
child 249 | 7655df0622ee |
1.1 --- a/xml/config.rnc Sun Jun 21 16:21:51 2015 +0200 1.2 +++ b/xml/config.rnc Sat Aug 15 09:40:22 2015 +0200 1.3 @@ -28,7 +28,14 @@ 1.4 element property { 1.5 attribute name { text }, 1.6 text 1.7 - }* 1.8 + }*, 1.9 + element tunnel { 1.10 + element command { text }, 1.11 + element argument { 1.12 + attribute type { "literal" | "host" | "port" | "env" | "dbProperty" }?, 1.13 + text 1.14 + }* 1.15 + }? 1.16 }*, 1.17 1.18 element defaultFormatter { text }?,