Convert terminal recordings to animated gifs
created at Aug. 12, 2013, 4:31 p.m.
63 -1
3,902 +3
252 +0