diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-11-04 21:04:12 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-11-04 21:04:12 +0100 |
| commit | 65f315266bff003ef4d66bbd351871ae341559dd (patch) | |
| tree | ab100af5fd968426788235959713118083b25241 | |
| parent | e3d507ddcfef40772955c387d926bc685b349855 (diff) | |
Unicode pls
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -73,8 +73,8 @@ do I mean by “safer”? Well consider that we want to make the following very simple file renamings: ``` -foo -> bar -bar -> foo +foo → bar +bar → foo ``` Most tools I’ve come across for renaming files will rename `foo` to `bar`, and |