added command to convert video to gif 26/head
authorz <z@xnz.me>
Sat, 1 Apr 2017 16:46:06 +0000 (12:46 -0400)
committerz <z@xnz.me>
Sat, 1 Apr 2017 16:46:06 +0000 (12:46 -0400)
commit2caacb2447fb3e78486ede063d3162a63606bc20
treedfe4f7c4aff5579a646ab826d2cadcf981169129
parent462b9c845dafb878244fa6b022ea083f35ad8ae4
added command to convert video to gif
misc/tools/encode-demos.sh