diff options
author | 1999-06-24 13:53:19 +0000 | |
---|---|---|
committer | 1999-06-24 13:53:19 +0000 | |
commit | a9c08e799500d19e9dcc9d9eb46a70f8478b8499 (patch) | |
tree | f38ea851a557bcde1d4352928c7cdf965df85854 /images/coq-badge.xcf | |
parent | 56bef7d39ad63ca18ec706613a0e99b524d5f367 (diff) |
Updates and new images
Diffstat (limited to 'images/coq-badge.xcf')
-rw-r--r-- | images/coq-badge.xcf | bin | 0 -> 120521 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/images/coq-badge.xcf b/images/coq-badge.xcf Binary files differnew file mode 100644 index 00000000..98ba6ded --- /dev/null +++ b/images/coq-badge.xcf |