diff --git a/images/dev.gif b/images/dev.gif index b4dd58a18ad4305036eaf07fd5eaebe528e06143..714bc8772c3f49fe4ede4da17c7ea5f559cc9f35 100644 Binary files a/images/dev.gif and b/images/dev.gif differ