diff --git a/pre_escape.sed b/pre_escape.sed new file mode 100644 index 0000000000000000000000000000000000000000..c365e2732fbac0125e26a63250743e1f0f9473c2 --- /dev/null +++ b/pre_escape.sed @@ -0,0 +1 @@ +s/\\/¬/g