Irrelevant question
guzhongren opened this issue Β· comments
guzhongren commented
Luke Edwards commented
Hey, hahah I used termtosvg to record and create the initial animation. Then I manually customized some of the animation timings and all the colors.
Pretty awesome tool!