diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2017-08-10 19:47:19 +0000 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2017-08-10 19:47:19 +0000 |
commit | 471e31172f480385e4d00183bcf845a9ccfa6ea2 (patch) | |
tree | ed4793bb256a59221f58f8a43cfc0bb12a371d89 /doc | |
parent | 25db146dd5a7692a7b6229555dbf201ac598de3a (diff) |
Remove unused files
Diffstat (limited to 'doc')
-rw-r--r-- | doc/src/09000-technical-details.md | 2 | ||||
-rw-r--r-- | doc/src/09100-store.md | 2 |
2 files changed, 0 insertions, 4 deletions
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} - |