diff options
Diffstat (limited to 'MANUAL.txt')
| -rw-r--r-- | MANUAL.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 54709f235..600cc3d23 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -2575,6 +2575,7 @@ Changes the algorithm used by `auto_identifiers` to conform to GitHub's method. Spaces are converted to dashes (`-`), uppercase characters to lowercase characters, and punctuation characters other than `-` and `_` are removed. +Emojis are replaced by their names. ## Math Input |