From 735b245871d94cb6ace8913cd1370b02b5aeb28b Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 15:25:15 -0300 Subject: remove old theme, use bearblog theme instead --- public/tags/coq/index.html | 689 ------------------------------------- public/tags/coq/index.xml | 22 -- public/tags/coq/page/1/index.html | 10 - public/tags/index.html | 549 ----------------------------- public/tags/index.xml | 12 - public/tags/rust/index.html | 689 ------------------------------------- public/tags/rust/index.xml | 22 -- public/tags/rust/page/1/index.html | 10 - 8 files changed, 2003 deletions(-) delete mode 100644 public/tags/coq/index.html delete mode 100644 public/tags/coq/index.xml delete mode 100644 public/tags/coq/page/1/index.html delete mode 100644 public/tags/index.html delete mode 100644 public/tags/index.xml delete mode 100644 public/tags/rust/index.html delete mode 100644 public/tags/rust/index.xml delete mode 100644 public/tags/rust/page/1/index.html (limited to 'public/tags') diff --git a/public/tags/coq/index.html b/public/tags/coq/index.html deleted file mode 100644 index 3c016ec..0000000 --- a/public/tags/coq/index.html +++ /dev/null @@ -1,689 +0,0 @@ - - - - - - - - - - coq · lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- ↓skip to main content -
- - -
- -
- - -
- - - - - - - - - - - - - - - -
-
-
- - -
-
- - - - - - - - -
-
- - - -
- -

coq

-
- - - - - - - - - - - - - - - - - - - - - - -
- - -
- - -
-
- -
- - - - - -
- - - - - - - - - - -
- - -

- 2024 -

- - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- -
correctness is all you need
- - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - ·1 min - - - - -
- - - - - -
- - - - - - - - - - - - - - - - coq - - - - - - - - rust - - - - - - - -
- - - -
- -
- - - -
- - - - - - - - - -
- - - - -
- - - -

- © - 2024 - leonardo santiago -

- - - - -

- - - powered by Hugo & Blowfish -

- - -
- - - - - - -
- -
- - - diff --git a/public/tags/coq/index.xml b/public/tags/coq/index.xml deleted file mode 100644 index 087a056..0000000 --- a/public/tags/coq/index.xml +++ /dev/null @@ -1,22 +0,0 @@ - - - - coq on lowest case - http://localhost:1313/tags/coq/ - Recent content in coq on lowest case - Hugo -- gohugo.io - en - © 2024 leonardo santiago - Thu, 09 May 2024 23:19:01 -0300 - - correctness is all you need - http://localhost:1313/posts/correctness-is-all-you-need/ - Thu, 09 May 2024 23:19:01 -0300 - - http://localhost:1313/posts/correctness-is-all-you-need/ - you’ll usually see people complaining that - - - - - diff --git a/public/tags/coq/page/1/index.html b/public/tags/coq/page/1/index.html deleted file mode 100644 index 2b1345a..0000000 --- a/public/tags/coq/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - http://localhost:1313/tags/coq/ - - - - - - diff --git a/public/tags/index.html b/public/tags/index.html deleted file mode 100644 index 5e679e4..0000000 --- a/public/tags/index.html +++ /dev/null @@ -1,549 +0,0 @@ - - - - - - - - - - tags · lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- ↓skip to main content -
- - -
- -
- - -
- - - - - - - - - - - - - - - -
-
-
- - -
-
- - - - - - - - -
-
- - - - - -
- -

tags

-
- - - - - - - - - - - - - - - - - - - - - - -
- - -
- - -
-
- - - - - - - - - -
- -
- - - - - - -
- - - - -
- - - -

- © - 2024 - leonardo santiago -

- - - - -

- - - powered by Hugo & Blowfish -

- - -
- - - - - - -
- -
- - - diff --git a/public/tags/index.xml b/public/tags/index.xml deleted file mode 100644 index 244d2b0..0000000 --- a/public/tags/index.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - tags on lowest case - http://localhost:1313/tags/ - Recent content in tags on lowest case - Hugo -- gohugo.io - en - © 2024 leonardo santiago - - - diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html deleted file mode 100644 index 6d78e0b..0000000 --- a/public/tags/rust/index.html +++ /dev/null @@ -1,689 +0,0 @@ - - - - - - - - - - rust · lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- ↓skip to main content -
- - -
- -
- - -
- - - - - - - - - - - - - - - -
-
-
- - -
-
- - - - - - - - -
-
- - - -
- -

rust

-
- - - - - - - - - - - - - - - - - - - - - - -
- - -
- - -
-
- -
- - - - - -
- - - - - - - - - - -
- - -

- 2024 -

- - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- -
correctness is all you need
- - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - ·1 min - - - - -
- - - - - -
- - - - - - - - - - - - - - - - coq - - - - - - - - rust - - - - - - - -
- - - -
- -
- - - -
- - - - - - - - - -
- - - - -
- - - -

- © - 2024 - leonardo santiago -

- - - - -

- - - powered by Hugo & Blowfish -

- - -
- - - - - - -
- -
- - - diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml deleted file mode 100644 index 76e9bcf..0000000 --- a/public/tags/rust/index.xml +++ /dev/null @@ -1,22 +0,0 @@ - - - - rust on lowest case - http://localhost:1313/tags/rust/ - Recent content in rust on lowest case - Hugo -- gohugo.io - en - © 2024 leonardo santiago - Thu, 09 May 2024 23:19:01 -0300 - - correctness is all you need - http://localhost:1313/posts/correctness-is-all-you-need/ - Thu, 09 May 2024 23:19:01 -0300 - - http://localhost:1313/posts/correctness-is-all-you-need/ - you’ll usually see people complaining that - - - - - diff --git a/public/tags/rust/page/1/index.html b/public/tags/rust/page/1/index.html deleted file mode 100644 index eeaf092..0000000 --- a/public/tags/rust/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - http://localhost:1313/tags/rust/ - - - - - - -- cgit v1.2.3