diff options
| author | Harrison Houghton <hora.rhino@gmail.com> | 2021-08-03 14:45:21 -0400 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2021-08-03 23:42:43 +0200 |
| commit | 9a623367ad77a9a8b5195aef003234b32e00db81 (patch) | |
| tree | 4786eb077f4481f5c73b92002eedbe4fa24ace30 /pkgs/development/python-modules/rangehttpserver | |
| parent | a79a5b880c29602426ccc77ab131639f34a32d47 (diff) | |
manim: fix
Turns out that O and 0 are different characters, even though they look
the same in many monospace fonts (including mine). Unfortunately, they
look very different to grep -F...
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions