From ea395818c6d558d52e7bc3f98c4d450256aa78bc Mon Sep 17 00:00:00 2001 From: Frankie Roberto Date: Wed, 18 Dec 2024 10:01:11 +0000 Subject: [PATCH] Remove unused includes files (#1000) These aren't used and are just confusing. --- app/views/includes/examples_head.html | 2 -- app/views/includes/head.html | 2 -- app/views/includes/propositional_navigation.html | 9 --------- 3 files changed, 13 deletions(-) delete mode 100755 app/views/includes/examples_head.html delete mode 100755 app/views/includes/head.html delete mode 100755 app/views/includes/propositional_navigation.html diff --git a/app/views/includes/examples_head.html b/app/views/includes/examples_head.html deleted file mode 100755 index 09ccc192..00000000 --- a/app/views/includes/examples_head.html +++ /dev/null @@ -1,2 +0,0 @@ - - diff --git a/app/views/includes/head.html b/app/views/includes/head.html deleted file mode 100755 index 8dd08251..00000000 --- a/app/views/includes/head.html +++ /dev/null @@ -1,2 +0,0 @@ - - diff --git a/app/views/includes/propositional_navigation.html b/app/views/includes/propositional_navigation.html deleted file mode 100755 index 8e43212f..00000000 --- a/app/views/includes/propositional_navigation.html +++ /dev/null @@ -1,9 +0,0 @@ -
- -