diff options
Diffstat (limited to 'org')
| -rw-r--r-- | org/shared.org | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org/shared.org b/org/shared.org index b6e98f08..5cadea6e 100644 --- a/org/shared.org +++ b/org/shared.org @@ -1999,7 +1999,6 @@ Dx={ } Tex={ backslash: "\\\\", - backslash: "\\\\", tilde: '\\\\\\~', } Px={ |