# HG changeset patch # User fmercuri # Date 1624481251 0 # Node ID e3cf745f52129c778ea1dadde70618e2b436beb1 Uploaded diff -r 000000000000 -r e3cf745f5212 editconf.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/editconf.xml Wed Jun 23 20:47:31 2021 +0000 @@ -0,0 +1,113 @@ + + using editconf + + 0 + macros.xml + + + + + > verbose.txt && + + cp ./output.${output_format} '$output' + + ]]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +