From 299b3bcb61a26052fbc02780e9e84d5046bd9c27 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 10:03:46 +0700 Subject: [PATCH] The OFL font stays out of the repository --- TODO.org | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/TODO.org b/TODO.org index 7e7237d2..9dbb99f7 100644 --- a/TODO.org +++ b/TODO.org @@ -2208,10 +2208,10 @@ it kept; without =keep= that file is gone and the second half is =None=. The two-process daemon moves the host's IR from the path it is given and no longer recomputes =Build.workdir=. -** TODO The 2MB OFL font is not vendored -One example wants a font that is OFL and redistributable; it says on screen when -it is missing and runs either way. A call about the repository, not about the -port. +** CANCELLED The 2MB OFL font is not vendored +CLOSED: [2026-09-25] +Two megabytes of history for one example that already says on screen when the +font is missing and runs without it. ** DONE old-ocaml/ and the built executables are untracked on purpose The executables are what a build drops beside their sources. =old-ocaml/= is the