From da8d4ecfae60a807d6c8d884b61699e15378f465 Mon Sep 17 00:00:00 2001 From: Jeremy Ruston Date: Thu, 30 May 2024 17:29:12 +0100 Subject: [PATCH] Tweak #8214 by avoiding renaming boot.css Improves the continuity of our GitHub history --- boot/{boot.css => boot.css.tid} | 3 +++ boot/tiddlywiki.files | 7 ++----- 2 files changed, 5 insertions(+), 5 deletions(-) rename boot/{boot.css => boot.css.tid} (96%) diff --git a/boot/boot.css b/boot/boot.css.tid similarity index 96% rename from boot/boot.css rename to boot/boot.css.tid index c0d15f1e3..27c8884cd 100644 --- a/boot/boot.css +++ b/boot/boot.css.tid @@ -1,3 +1,6 @@ +title: $:/boot/boot.css +type: text/css + /* Basic styles used before we boot up the parsing engine */ diff --git a/boot/tiddlywiki.files b/boot/tiddlywiki.files index 38ab5adde..ca4109f09 100644 --- a/boot/tiddlywiki.files +++ b/boot/tiddlywiki.files @@ -25,11 +25,8 @@ } }, { - "file": "boot.css", - "fields": { - "title": "$:/boot/boot.css", - "type": "text/css" - } + "file": "boot.css.tid", + "isTiddlerFile": true } ] } \ No newline at end of file