]> git.eshelyaron.com Git - sweep.git/commit
; Improve user option docstring
authorEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:37:13 +0000 (14:37 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:37:13 +0000 (14:37 +0200)
commit2bca5fbdc2b6e4d0f5302b1d5a5b54a14e0b9fa9
tree9b7ea21d9744de8ebd094845018de1f02fe31642
parentabcafbc720d9cb52600eb80e36a6c19dfab26f95
; Improve user option docstring

* sweeprolog.el
(sweeprolog-query-replace-term-include-match-function): Improve docstring.
sweeprolog.el