Add a background color to the favicon
authorJBM <jbm@codingame.com>
Sat, 13 Jun 2020 22:44:49 +0000 (00:44 +0200)
committerJBM <jbm@codingame.com>
Sat, 13 Jun 2020 22:44:49 +0000 (00:44 +0200)
PLAN.org

index bfda8b2..6388307 100644 (file)
--- 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 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.
 
 That transparency is nefarious on my browser's default tab background
 color.