From 0dbca7d4a8a71e0f27f28ea7fee6e8071a4a8d89 Mon Sep 17 00:00:00 2001
From: Jakob L. Kreuze
Date: Sun, 1 Jun 2025 06:04:11 -0400
Subject: Remove binary assets from repository

`git-annex' is neat, but overkill for this use-case. All I want is to
avoid checking binary files into source control; I don't necessarily
care about tracking changes on those binary files. You can get all the
assets you need from 'https://jakob.space/annex.tar.gz' and extract it
over the repository root.
---
 static/image/opengraph-icon-coq.jpg | Bin 95670 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 static/image/opengraph-icon-coq.jpg

(limited to 'static/image/opengraph-icon-coq.jpg')

diff --git a/static/image/opengraph-icon-coq.jpg b/static/image/opengraph-icon-coq.jpg
deleted file mode 100644
index 33c969a..0000000
Binary files a/static/image/opengraph-icon-coq.jpg and /dev/null differ
-- 
cgit v1.3