From: JBM <jbm@codingame.com>
Date: Sat, 13 Jun 2020 22:44:49 +0000 (+0200)
Subject: Add a background color to the favicon
X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/2018da9d1e712501823609f2b0d932aa364d11d3?ds=inline

Add a background color to the favicon
---

diff --git a/PLAN.org b/PLAN.org
index bfda8b2..6388307 100644
--- a/PLAN.org
+++ b/PLAN.org
@@ -73,7 +73,7 @@ That one's probably never going to be DONE ^^'
 *** TODO more generic "referee crash"
 *** TODO parameters feedback
 *** TODO cheating cases
-** TODO add a background to the favicon
+** DONE add a background to the favicon
 
 That transparency is nefarious on my browser's default tab background
 color.