From 73bbc8e86d486bf4bfa428e9e1b1f87c48736ca4 Mon Sep 17 00:00:00 2001 From: Unrud Date: Thu, 15 Sep 2022 01:15:49 +0200 Subject: [PATCH] Rename default.css to all.css --- assets/{default.css => all.css} | 0 documentation-generator/template.html | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename assets/{default.css => all.css} (100%) diff --git a/assets/default.css b/assets/all.css similarity index 100% rename from assets/default.css rename to assets/all.css diff --git a/documentation-generator/template.html b/documentation-generator/template.html index db838a21..45016dc4 100644 --- a/documentation-generator/template.html +++ b/documentation-generator/template.html @@ -9,7 +9,7 @@ $if(math)$ $math$ $endif$ - +