diff options
| -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 |
