diff options
author | Marcel Müller <neikos@neikos.email> | 2016-01-17 15:37:07 +0100 |
---|---|---|
committer | Marcel Müller <neikos@neikos.email> | 2016-01-17 15:37:07 +0100 |
commit | 2f99f5561ac8b93844fb78b52b4aa5eaccb915eb (patch) | |
tree | 53c313763656a789215c0b291ebaed72d6fe3505 /doc | |
parent | b06621c6bd67f9211a416f51788ea07afa652832 (diff) |
Remove Store caching from docs
Diffstat (limited to 'doc')
-rw-r--r-- | doc/src/04000-lib-store.md | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/src/04000-lib-store.md b/doc/src/04000-lib-store.md index bcee26cf..502044ac 100644 --- a/doc/src/04000-lib-store.md +++ b/doc/src/04000-lib-store.md @@ -68,9 +68,3 @@ It also MUST contain a getter for this variable. It MUST NOT contain a setter for this variable, as changing the store while the programm is running is not allowed. -The `Store` object MAY contain caching functionality. -If the `Store` type contains caching functionality for filesystem operations, -the interface MUST NOT differ from the non-caching interface. -If the `Store` type contains caching functionality, these functionality MUST NOT -BE visible to the user of the library. - |