From 471e31172f480385e4d00183bcf845a9ccfa6ea2 Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Thu, 10 Aug 2017 19:47:19 +0000 Subject: Remove unused files --- doc/src/09000-technical-details.md | 2 -- doc/src/09100-store.md | 2 -- 2 files changed, 4 deletions(-) delete mode 100644 doc/src/09000-technical-details.md delete mode 100644 doc/src/09100-store.md (limited to 'doc') diff --git a/doc/src/09000-technical-details.md b/doc/src/09000-technical-details.md deleted file mode 100644 index 905cf905..00000000 --- a/doc/src/09000-technical-details.md +++ /dev/null @@ -1,2 +0,0 @@ -# Technical details {#sec:techdetails} - diff --git a/doc/src/09100-store.md b/doc/src/09100-store.md deleted file mode 100644 index 5637790e..00000000 --- a/doc/src/09100-store.md +++ /dev/null @@ -1,2 +0,0 @@ -## The store {#sec:techdetails:store} - -- cgit v1.2.3