aboutsummaryrefslogtreecommitdiff
path: root/distrib/petit-coq.gif
diff options
context:
space:
mode:
Diffstat (limited to 'distrib/petit-coq.gif')
-rw-r--r--distrib/petit-coq.gifbin126 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/distrib/petit-coq.gif b/distrib/petit-coq.gif
deleted file mode 100644
index 2d1228311b..0000000000
--- a/distrib/petit-coq.gif
+++ /dev/null
Binary files differ