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