Harrison Houghton 9a623367ad 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...		2021-08-03 23:42:43 +02:00
..
default.nix
remove-dependency-constraints.patch