diff options
| author |   Andreas K. Hüttel <dilfridge@gentoo.org> | 2023-02-05 15:50:51 +0100 |
|---|---|---|
| committer | Andreas K. Hüttel <dilfridge@gentoo.org> | 2023-02-05 19:55:15 +0100 |
| commit | 4367b6178ddeba56c648601cfa6e76785432cb67 (patch) | |
| tree | 1634e28b3a341e73b02f70973c63f4ec067fb5e7 /assets | |
| parent | Make memory-stick bitmap (diff) | |
| download | www-4367b6178ddeba56c648601cfa6e76785432cb67.tar.gz www-4367b6178ddeba56c648601cfa6e76785432cb67.tar.bz2 www-4367b6178ddeba56c648601cfa6e76785432cb67.zip | |
Add Coq logo
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
(cherry picked from commit 90f0fa87d3c0e610a6fd135003fb82931584be9e)
Diffstat (limited to 'assets')
| -rw-r--r-- | assets/img/news/2023/logo-coq.png | bin | 0 -> 6269 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/img/news/2023/logo-coq.png b/assets/img/news/2023/logo-coq.png Binary files differnew file mode 100644 index 0000000..06aac45 --- /dev/null +++ b/assets/img/news/2023/logo-coq.png |
