diff --git a/doc/demo.gif b/doc/demo.gif deleted file mode 100644 index 725d321934de1d0220c7a459a69973fe98bd97a9..0000000000000000000000000000000000000000 Binary files a/doc/demo.gif and /dev/null differ