From c9462952d58349d56de0a33a45d265e115e604ae Mon Sep 17 00:00:00 2001 From: "bors[bot]" Date: Sat, 1 Apr 2023 14:42:19 +0000 Subject: [PATCH] deploy: e7345cbeac32172cc3f5e5bb54b6a9243bfcfcd1 --- 404.html | 35 ++++------ assets/favicon.png | Bin 8159 -> 0 bytes assets/fonts/Eurostile-Roman.ttf | Bin 56856 -> 0 bytes assets/logo_numtide.png | Bin 8159 -> 0 bytes contributing/index.html | 35 ++++------ default.nix | 30 -------- faq/index.html | 35 ++++------ formatters-spec/index.html | 33 ++++----- formatters/index.html | 33 ++++----- index-formatters/index.html | 33 ++++----- index.html | 35 ++++------ installation/index.html | 33 ++++----- quickstart/index.html | 33 ++++----- stylesheets/extra.css | 114 ------------------------------- treefmt-configuration/index.html | 33 ++++----- usage/index.html | 35 ++++------ 16 files changed, 159 insertions(+), 358 deletions(-) delete mode 100644 assets/favicon.png delete mode 100644 assets/fonts/Eurostile-Roman.ttf delete mode 100644 assets/logo_numtide.png delete mode 100644 default.nix delete mode 100644 stylesheets/extra.css diff --git a/404.html b/404.html index 450a84e..d2457ad 100644 --- a/404.html +++ b/404.html @@ -10,7 +10,7 @@ - + @@ -38,7 +38,7 @@ - + @@ -75,9 +75,7 @@ - - -
+
-