diff options
author | defanor <defanor@uberspace.net> | 2018-01-23 15:28:05 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-01-23 15:28:05 +0300 |
commit | 11e83528df0f4e48d9324b2e4dd82dc58792fb16 (patch) | |
tree | 28b256af09b52717552f41c98ccfb32626ca0c3b /pancake.1 | |
parent | 9e58afe6f706aa4db06e82b35abf329368a0de98 (diff) |
Add initial RDF support
With two types of caching: file-based for retrieved documents, and
memory-based for predicate labels extracted from those.
Diffstat (limited to 'pancake.1')
-rw-r--r-- | pancake.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ Load configuration from a specified file. .SH COMMANDS .IP "\fBquit\fR or EOF" -quit pancake, cleaning the cache +quit pancake .IP "\fB[\fR" back .IP "\fB]\fR" |