oria/gridx — pull request #222 by jsonn (2014-05-30 14:31:01+00:00)
Title: Convert the one BMP to GIF.

The latter is a standard web format and also smaller.