Commit Graph

6 Commits

Author SHA1 Message Date
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
Robert Schütz
0cd34b70ea manim: use ffmpeg instead of ffmpeg_3 2021-05-20 12:18:13 -07:00
Ben Siraphob
a6ac3eedbd treewide: xdg_utils -> xdg-utils 2021-02-01 15:05:09 +07:00
Doron Behar
01d4e2fe33 treewide: use ffmpeg_3 explicitly if not wanted otherwise
After making `ffmpeg` point to the latest `ffmpeg_4`, all packages that
used `ffmpeg` without requiring a specific version now use ffmpeg_3
explicitly so they shouldn't change.
2020-06-12 11:55:31 -07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Daniel Schaefer
c6960f41c9 manim: init at 0.1.10 2019-11-16 13:35:23 +01:00