diff options
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} - |