branch: master commit e751e4ff60c4ca719586da5f3dd28d2933879d3f Author: Ian Dunn <du...@gnu.org> Commit: Ian Dunn <du...@gnu.org>
Update case-handling slot name in Documentation * paced.org (Editing a Dictionary): Update slot name. --- paced.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paced.org b/paced.org index 31837fa..60b810e 100644 --- a/paced.org +++ b/paced.org @@ -166,7 +166,7 @@ In order to edit a dictionary, paced provides ~paced-edit-named-dictionary~ and ~paced-edit-current-dictionary~. The edit buffer provides the options to change the population commands, case -sensitivity, dictionary storage name, and sort method. Each of these is +handling, dictionary storage name, and sort method. Each of these is documented in the edit buffer. ** Selective Dictionaries :PROPERTIES: