From 93613d72fad369acf24240e7e9fb96467387b0f9 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 27 Aug 2024 12:19:40 +0100 Subject: [PATCH] Remove doc/bib/index.html --- doc/bib/index.html | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 doc/bib/index.html diff --git a/doc/bib/index.html b/doc/bib/index.html deleted file mode 100644 index 1f373953..00000000 --- a/doc/bib/index.html +++ /dev/null @@ -1,5 +0,0 @@ ---- -title: Empty document to protect directory -layout: default_with_title -nav_exclude: true ----