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 15:50:51 +0100 |
| commit | 90f0fa87d3c0e610a6fd135003fb82931584be9e (patch) | |
| tree | 45ff5110dcb868605a30c09ce082816aa311eb50 | |
| parent | More text (diff) | |
| download | www-90f0fa87d3c0e610a6fd135003fb82931584be9e.tar.gz www-90f0fa87d3c0e610a6fd135003fb82931584be9e.tar.bz2 www-90f0fa87d3c0e610a6fd135003fb82931584be9e.zip | |
Add Coq logo
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
| -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 |
