diff --git a/escape.sed b/escape.sed new file mode 100644 index 0000000000000000000000000000000000000000..9e606332a794205c48db4bc3f1548118201661ab --- /dev/null +++ b/escape.sed @@ -0,0 +1,2 @@ +s/ " / \\" /g +s/¬/\\/g