Remove unused files

This commit is contained in:
Matthias Beyer 2017-08-10 19:47:19 +00:00
parent 25db146dd5
commit 471e31172f
2 changed files with 0 additions and 4 deletions

View File

@ -1,2 +0,0 @@
# Technical details {#sec:techdetails}

View File

@ -1,2 +0,0 @@
## The store {#sec:techdetails:store}