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.gifbin0 -> 126 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/distrib/petit-coq.gif b/distrib/petit-coq.gif
new file mode 100644
index 0000000000..2d1228311b
--- /dev/null
+++ b/distrib/petit-coq.gif
Binary files differ