mirrors/manim
2
0
Fork 0
mirror of https://github.com/ManimCommunity/manim.git synced 2026-06-22 10:01:47 +00:00
Code Issues Projects Releases Packages Wiki Activity
manim/docker
History
Benjamin Hackl 3e5fa33189
 Be more flexible about installed Manim version in Dockerfile (#714) 
* remove ffi-binding workaround from docker build

* introduce MANIM_VERSION build arg

* do not print apt-get update output
2020-11-15 23:17:06 +01:00
..
Dockerfile Be more flexible about installed Manim version in Dockerfile (#714) 2020-11-15 23:17:06 +01:00
texlive-profile.txt Bring back support for docker (#681) 2020-11-10 21:55:41 +01:00