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 @@ -