diff options
| author | Ralph Amissah <ralph.amissah@gmail.com> | 2023-01-30 15:38:48 -0500 |
|---|---|---|
| committer | Ralph Amissah <ralph.amissah@gmail.com> | 2023-01-30 17:13:24 -0500 |
| commit | 2767c049c1976e69064f03eac5af4ae20415eaa8 (patch) | |
| tree | e8982b076d11900a5fc2f2f5f1acaf0e4e6bcd80 /org | |
| parent | changelog & urls housekeeping, more required (diff) | |
bugfix, typo, variable duplicated
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={ |